eriktmueller / daydreamerView external linksLinks
DAYDREAMER goal-based agent
☆78Jan 5, 2022Updated 4 years ago
Alternatives and similar repositories for daydreamer
Users that are interested in daydreamer are comparing it to the libraries listed below
Sorting:
- ThoughtTreasure commonsense knowledge base and architecture for natural language processing☆79Jul 31, 2015Updated 10 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Feb 6, 2022Updated 4 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆17Apr 17, 2023Updated 2 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 3 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Aug 17, 2023Updated 2 years ago
- A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…☆22Nov 26, 2015Updated 10 years ago
- tools for common-logic☆22Mar 5, 2013Updated 12 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Sep 28, 2021Updated 4 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 3 years ago
- Prolog Technology Theorem Prover☆12Jun 19, 2024Updated last year
- Sorting out the basic facts behind our projects.☆10Sep 1, 2016Updated 9 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Feb 24, 2025Updated 11 months ago
- Fast, simplified WAM-based Prolog system☆25Oct 30, 2025Updated 3 months ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Nov 21, 2025Updated 2 months ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- Port of Cyc to Common Lisp☆23Sep 1, 2020Updated 5 years ago
- ☆81Jul 9, 2023Updated 2 years ago
- Find and list system font files☆13Aug 13, 2025Updated 6 months ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- Our Ludum Dare entry☆20Feb 19, 2017Updated 8 years ago
- Hierarchical Temporal Sparse Learner☆13Nov 3, 2015Updated 10 years ago
- Resources to parse into computational semantics in order to enable model checkers to regenerate and extend a program resembling the origi…☆13Sep 2, 2024Updated last year
- A small language to demo turning an interpreter into a compiler☆11Nov 3, 2016Updated 9 years ago
- Compatibility library to run things in the main thread.☆25Aug 13, 2025Updated 6 months ago
- ☆36Jan 2, 2024Updated 2 years ago
- implementation of cdr-8☆17Jan 17, 2018Updated 8 years ago
- Nimspire: the idea incubator cli app☆10Jan 5, 2020Updated 6 years ago
- High performance Transactional Memory for Common Lisp☆256Feb 18, 2024Updated last year
- SWI-Prolog dynamic C interface☆17Sep 21, 2024Updated last year
- Extensions to the CLML (CL Machine Learning Library).☆14Jun 13, 2019Updated 6 years ago
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆15Oct 27, 2023Updated 2 years ago
- Explainable machine learning☆17Mar 17, 2019Updated 6 years ago
- MUD Server written in Prolog using Forward chaining☆28Feb 6, 2022Updated 4 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Dec 17, 2008Updated 17 years ago
- Run etcd as an asynchronous inferior process☆17Feb 2, 2023Updated 3 years ago
- Implementation for Common Lisp.☆98Feb 2, 2023Updated 3 years ago
- Doug Lenat's EURISKO from SAIL archives circa 1981☆69Jul 6, 2024Updated last year
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆28Nov 29, 2015Updated 10 years ago