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.☆21Updated this week
- Docker images for SWI-Prolog☆16Mar 15, 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
- 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 6 years ago
- programs written in Picat☆11Feb 10, 2026Updated last month
- Prolog benchmarks (`van Roy' set)☆18Mar 15, 2026Updated last week
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Aug 22, 2025Updated 7 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
- Prolog Pengines + vue.js☆17Mar 3, 2019Updated 7 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
- TIFMO: Textual Inference Forward-chaining MOdule☆12Apr 25, 2014Updated 11 years ago
- Explainable machine learning☆17Mar 17, 2019Updated 7 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Aug 29, 2022Updated 3 years ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆11Jan 22, 2023Updated 3 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Aug 16, 2021Updated 4 years ago
- Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine☆10May 8, 2016Updated 9 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Feb 5, 2020Updated 6 years ago
- Large lexicon for APE (~100,000 entries)☆31Nov 5, 2018Updated 7 years ago
- DAYDREAMER goal-based agent☆79Jan 5, 2022Updated 4 years ago
- logic programming with SPARQL☆48Jan 16, 2023Updated 3 years ago
- ☆22Jun 25, 2015Updated 10 years ago
- Let's rethink how we interact with Agda☆18Nov 18, 2022Updated 3 years ago
- Attempt to understand Percy Liang's Dependency-based Compositional Semantics by implementing it in Python☆10Mar 10, 2013Updated 13 years ago
- Tartarus is a multi-agent emulator for Static as well as Mobile Agents.☆19Feb 25, 2023Updated 3 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆17Apr 17, 2023Updated 2 years ago
- ☆16Dec 28, 2021Updated 4 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- ☆22Apr 14, 2023Updated 2 years ago
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- ☆21Jan 24, 2022Updated 4 years ago
- publications of the W3C Voice Interaction Community Group☆19Aug 18, 2025Updated 7 months ago
- ☆14Feb 1, 2024Updated 2 years ago
- Fuzzy cognitive maps python library☆11Jan 14, 2022Updated 4 years ago