logic-programming

An embedded logic language very much like prolog. It allows you to write and manipulate programs as s-expressions and make queries against them.


Keywords
language, logic