Netlog, A Logic Query Language for Network Model Databases