Logic Interpreter
Type in Logic code, and press Ctrl-Enter to evaluate facts and queries!
(fact (insert ?a ?r (?a . ?r)))
(fact (insert ?a (?b . ?r) (?b . ?s)) (insert ?a ?r ?s))
(fact (anagram () ()))
(fact (anagram (?a . ?r) ?b) (insert ?a ?s ?b) (anagram ?r ?s))
(query (anagram ?x (s t a r)))