Hide content and notifications from this user.
Contact Support about this user's behavior.
Higher Order Prolog with Extensional Semantics
Yadlr is a fuzzy reasoner, using CLP(Q,R) to implement fuzzy algebra on top of three reasoning back-ends: resolution, tableaux, and direct set-theoretic semantics.
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
Seeing something unexpected? Take a look at the
GitHub profile guide.