Angelos Charalambidis

hopes. Higher Order Prolog with Extensional Semantics

wam. A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.

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.

spsync. An implementation of Sync Adapters for synchronizing SharePoint with a relational database based on Sync Framework

parsec-prolog. A set of parsec combinators that parses ISO-Prolog programs

mhtransf-lar. Experimental Compiler for Lazy Functional Language based on Intensional Transformation and Lazy Activation Records