Documentation and resources

DYnamics in LOGic resources

• DYnamics in LOGic manual (italian) [PS]
• Prolog DYnamics in LOGic interpreter [ZIP]
• Vim syntax highlighting for DYnamics in LOGic [ZIP]

WLog web agent system resources

• WLog Java library [JAR]
• WLog Java library documentation[ZIP]
• Prolog WLog-DYnamics in LOGic module [GZ]
• The virtual computer seller case study [ZIP]

Course compliance

• Scenario description [PDF]
• A first course compliance example [PML]