sim-lib-logic 0.1.4

Logic programming facts, queries, unification, and backtracking for SIM.
Documentation
1
2
((rule (tool-result ?tool ?args ?result)
   ((tool-call ?tool ?args ?result))))