AILog system

• User guide
• AILog Prolog program
• Example file 1
• Example file 2