acharal/yadlr
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.
Developer Profile
acharal
Discovered public repositories for acharal in the GitHub catalog.
acharal/parsec-prolog
A set of parsec combinators that parses ISO-Prolog programs
acharal/yawebproxy
Yet another webproxy consisted of a forward proxy and a validate proxy in a distributed architecture
acharal/ripsim
A multithreaded RIP (Routing Information Protocol) Simulator
acharal/spsync
An implementation of Sync Adapters for synchronizing SharePoint with a relational database based on Sync Framework
acharal/mhtransf-lar
Experimental Compiler for Lazy Functional Language based on Intensional Transformation and Lazy Activation Records
acharal/wam
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
acharal/hopes
Higher Order Prolog with Extensional Semantics