Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
A Minimalist Metaobject Protocol for PROLOG
Prolog
The Fuzzy Analysis Engine
Common Lisp 2
A purely-relational rewriting system to aid with proof debugging
Clojure 1
Serialisable Expert Systems
Yet Another Parser Combinator Library
集理 - Principled Mathematics in the Relational-Object Style
Logtalk 1
There was an error while loading. Please reload this page.