sim-lib-lang-prolog 0.1.0

Prolog surface profile for the SIM runtime.
Documentation 
1
2
3
4
5

((fact (parent alice bob))
 (fact (parent alice carol))
 (fact (parent bob dan))
 (rule (grandparent ?x ?z)
   ((parent ?x ?y) (parent ?y ?z))))