Pinned Loading

1. hopes hopes Public

   Higher Order Prolog with Extensional Semantics

   Haskell 53 5

2. yadlr yadlr Public

   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.

   Prolog 4

3. wam wam Public

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

   Haskell 19 2

4. semagrow semagrow Public

   Forked from semagrow/semagrow

   A SPARQL query federator of heterogeneous data sources

   Java