Popular repositories Loading

1. iProlog iProlog Public

   Java-based lightweight Prolog virtual machine

   Java 33 13

2. recursors recursors Public

   Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles

   Python 33 9

3. TypesAndProofs TypesAndProofs Public

   Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

   Prolog 32 4

4. DeepRank DeepRank Public

   A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algorithm like *PageRank*, can extract relevant keywords and sum…

   Python 32 9

5. natlog natlog Public

   Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools

   Python 23 2

6. pypro pypro Public

   Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python

   Python 20