Classical CHAT80 NLP system for Prolog
☆25Feb 27, 2025Updated last year
Alternatives and similar repositories for chat80
Users that are interested in chat80 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- If at first you don't succeed☆12Sep 25, 2020Updated 5 years ago
- Efficient MeTTa language implementation in Prolog.☆26Jun 4, 2026Updated last week
- Docker images for SWI-Prolog☆16May 30, 2026Updated last week
- A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…☆32Oct 20, 2023Updated 2 years ago
- Sample SWI-Prolog server with JavaScript client☆13Nov 30, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- top-down interpreter for ASP programs with constraints☆18Sep 19, 2022Updated 3 years ago
- A rule engine based on Attempto Controlled English☆18Nov 1, 2024Updated last year
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆52May 12, 2019Updated 7 years ago
- programs written in Picat☆13May 6, 2026Updated last month
- Prolog benchmarks (`van Roy' set)☆18May 28, 2026Updated 2 weeks ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Aug 22, 2025Updated 9 months ago
- Simple, small, fully-connected Python version of NeoRL☆11Jan 29, 2016Updated 10 years ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Debug Adapter Protocol (DAP) implementation for SWI-Prolog☆24Mar 28, 2022Updated 4 years ago
- NrvrCommander is a Python package for devops and QA automation around virtual machines, VMware, Linux, and more.☆16Dec 8, 2015Updated 10 years ago
- Explainable machine learning☆17Mar 17, 2019Updated 7 years ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆10Jan 22, 2023Updated 3 years ago
- Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine☆10May 8, 2016Updated 10 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Feb 5, 2020Updated 6 years ago
- DAYDREAMER goal-based agent☆81Jan 5, 2022Updated 4 years ago
- logic programming with SPARQL☆48Jan 16, 2023Updated 3 years ago
- Large lexicon for APE (~100,000 entries)☆33Nov 5, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- various predicates for ichiban/prolog☆16Sep 25, 2022Updated 3 years ago
- Let's rethink how we interact with Agda☆18Nov 18, 2022Updated 3 years ago
- ☆38Mar 10, 2016Updated 10 years ago
- Tartarus is a multi-agent emulator for Static as well as Mobile Agents.☆20Feb 25, 2023Updated 3 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆19Apr 17, 2023Updated 3 years ago
- ☆16Dec 28, 2021Updated 4 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated 2 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- MG top-down beam parsing☆14Jul 2, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- publications of the W3C Voice Interaction Community Group☆19Aug 18, 2025Updated 9 months ago
- ☆14Feb 1, 2024Updated 2 years ago
- Yes, Erlang in SWI-Prolog!☆12Jun 18, 2018Updated 7 years ago
- NERO-nlp is a PyPI package for biomedical Named Entity (Recognition) Ontology☆12Oct 1, 2020Updated 5 years ago
- Fuzzy cognitive maps python library☆11Jan 14, 2022Updated 4 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆24Mar 29, 2026Updated 2 months ago
- 🎬 Logic-based interactive storytelling tool for running Logic Production System (LPS) programs using lps.js, Electron and Angular 🎨☆31Sep 25, 2018Updated 7 years ago