sim-lib-logic 0.1.3

Logic programming facts, queries, unification, and backtracking for SIM.
Documentation 
1
2
3
4
5
6
7

((fact (edge a b))
 (fact (edge b c))
 (fact (edge c d))
 (rule (path ?x ?y)
   ((edge ?x ?y)))
 (rule (path ?x ?z)
   ((edge ?x ?y) (path ?y ?z))))