jlsalmon / chatbot
cute little chatbot in Prolog
☆18Updated 12 years ago
Related projects: ⓘ
- Port of Aleph to SWI-Prolog☆43Updated 7 months ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆68Updated 7 months ago
- Base Forward Chaining Knowledge Base Maintenance System☆17Updated 2 years ago
- SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)☆12Updated 3 years ago
- ☆9Updated 8 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 3 months ago
- The SWI-Prolog HTTP server and client libraries☆22Updated 2 weeks ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆10Updated 7 months ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆32Updated 11 years ago
- A rule engine based on Attempto Controlled English☆18Updated 11 months ago
- CHR: Leuven Constraint Handling Rules☆23Updated 2 weeks ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 9 months ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆37Updated 9 years ago
- Examples of common usage of the Cyc APIs.☆17Updated 6 years ago
- Chatbot impls in Prolog☆14Updated 2 years ago
- MUD Server written in Prolog using Forward chaining☆30Updated 2 years ago
- Conditional Associative Logic Memory☆27Updated 6 years ago
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆26Updated last year
- Art of Prolog Code☆35Updated 5 years ago
- Adaptive Neuro-Symbolic Network Agent☆35Updated 2 years ago
- Pengines: Prolog engines☆11Updated 2 weeks ago
- Metamath verifier in Python☆35Updated 5 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆12Updated last year
- Sequitur and RePair grammar induction algorithms implementation☆23Updated 9 months ago
- A Sparse Distributed Memory Framework.☆43Updated 5 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆10Updated 2 years ago
- Explainable machine learning☆18Updated 5 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆29Updated last year
- Tartarus is a multi-agent emulator for Static as well as Mobile Agents.☆17Updated last year