Pfc: adding forward chaining and truth maintenance to Prolog
☆11Jan 25, 2024Updated 2 years ago
Alternatives and similar repositories for pfc
Users that are interested in pfc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 4 years ago
- Chatbot impls in Prolog☆16Feb 15, 2022Updated 4 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 5 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Jan 21, 2017Updated 9 years ago
- SWI-Prolog dynamic C interface☆20Sep 21, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 5 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆46May 4, 2026Updated 5 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…☆38Jan 25, 2015Updated 11 years ago
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- Discuss future development☆22Sep 25, 2015Updated 11 years ago
- top-down interpreter for ASP programs with constraints☆20Sep 19, 2022Updated 4 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆25Mar 29, 2026Updated 7 months ago
- This is a fork of the amzi expert systems in prolog ported to swi-prolog and put in git instead of awkward file by file dl on amzi site☆10Dec 24, 2014Updated 11 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Composable printing of objects.☆11Sep 29, 2022Updated 4 years ago
- Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/☆31Mar 5, 2021Updated 5 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆17Feb 6, 2022Updated 4 years ago
- bitFlyer API wrapper NuGet Package☆12Feb 12, 2017Updated 9 years ago
- Shen for the Common Language Runtime☆36Oct 23, 2024Updated 2 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 6 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Feb 24, 2025Updated last year
- A rule engine based on Attempto Controlled English☆21Nov 1, 2024Updated last year
- yet another CL deflate decompressor☆15Jun 26, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆19Apr 17, 2023Updated 3 years ago
- Common Lisp ONC-RPC implementation☆13Oct 20, 2015Updated 11 years ago
- Our Ludum Dare entry☆20Feb 19, 2017Updated 9 years ago
- Common Lisp bindings for Enchant spell-checker library☆17Sep 12, 2025Updated last year
- An interface to Python for Gambit Scheme☆20Jul 13, 2025Updated last year
- Port of Cyc to Common Lisp☆27May 11, 2026Updated 5 months ago
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆13May 3, 2021Updated 5 years ago
- Scryer Prolog npm package (experimental)☆13Apr 11, 2025Updated last year
- JSON Schema validation☆18Jun 28, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- SWI-Prolog binding for the OpenGL, GLU and GLUT libraries☆20May 3, 2022Updated 4 years ago
- Ontology development environment for Common Logic (CL)☆25Nov 16, 2022Updated 3 years ago
- ☆29Mar 24, 2020Updated 6 years ago
- Universal RDF/JS graph traverser☆14Sep 14, 2026Updated last month
- Intervals and interval trees for Common Lisp☆21Oct 31, 2018Updated 7 years ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆20Jul 26, 2021Updated 5 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆57Oct 5, 2026Updated 3 weeks ago