various predicates for ichiban/prolog
☆16Sep 25, 2022Updated 3 years ago
Alternatives and similar repositories for predicates
Users that are interested in predicates are comparing it to the libraries listed below
Sorting:
- TIFMO: Textual Inference Forward-chaining MOdule☆12Apr 25, 2014Updated 11 years ago
- Datoms is an implementation of Datomic in Go. It's a fully persistent (immutable and durable) database.☆17Sep 24, 2023Updated 2 years ago
- Attempt to understand Percy Liang's Dependency-based Compositional Semantics by implementing it in Python☆10Mar 10, 2013Updated 13 years ago
- The only reasonable scripting engine for Go.☆713Jan 31, 2026Updated last month
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- ☆14Feb 1, 2024Updated 2 years ago
- A Plan 9-inspired way to share your OS X clipboard to multiple hosts.☆16Jan 9, 2021Updated 5 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- ☆11Feb 11, 2020Updated 6 years ago
- Fast, simplified WAM-based Prolog system☆25Oct 30, 2025Updated 4 months ago
- T is a work-in-progress text editor inspired by the Acme editor from Plan9.☆10Feb 17, 2019Updated 7 years ago
- A framework for natural language syntax and semantics based on type theory.☆13Feb 28, 2024Updated 2 years ago
- Curses-based audio/video visualization☆21Apr 4, 2013Updated 12 years ago
- An experimental Go package for dealing with 9P, the Plan 9 file protocol.☆19Feb 13, 2026Updated last month
- Natural language understanding library for Rhasspy☆13Dec 9, 2023Updated 2 years ago
- SOTA TAG Parser☆15Jan 19, 2019Updated 7 years ago
- a 9term-compatible terminal in Ruby/Tk☆18Jan 28, 2012Updated 14 years ago
- Book and code and pointers to videos for my relational interpreter course☆12Jan 24, 2025Updated last year
- It's a blog. Insert clever Haskell type signature here.☆24Feb 22, 2017Updated 9 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 14 years ago
- Automatically exported from code.google.com/p/incremental-top-down-parser☆14Mar 15, 2015Updated 11 years ago
- Go module and utility for executing machine code☆24Feb 11, 2026Updated last month
- Experiments and bad ideas☆21Feb 17, 2026Updated last month
- Tensor product decomposition network☆20Mar 5, 2021Updated 5 years ago
- One-pass Code Generation in V8 (Archive)☆20Aug 26, 2022Updated 3 years ago
- A library for research in unnatural language semantics☆14Mar 5, 2026Updated 2 weeks ago
- Trealla Prolog embedded in Go using WASM☆83Dec 24, 2025Updated 2 months ago
- 🔮 Graph Layout Algorithms in Go☆95Apr 15, 2025Updated 11 months ago
- Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.☆17Jun 13, 2025Updated 9 months ago
- Bitsets for Go☆11Apr 19, 2020Updated 5 years ago
- ☆34Jan 12, 2026Updated 2 months ago
- Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci☆68Feb 23, 2020Updated 6 years ago
- Zyphy is (or will be) a fast web browser engine written in Swift.☆15Mar 4, 2026Updated 2 weeks ago
- Go framework for language model-powered applications with composability and chaining. Inspired by LangChain.☆13May 2, 2023Updated 2 years ago
- ☆20Jun 6, 2025Updated 9 months ago
- Bayesian pragmatic models implemented in Python☆20May 11, 2025Updated 10 months ago
- ☆28Jan 3, 2015Updated 11 years ago
- Python implementation of churiso☆20Jul 16, 2020Updated 5 years ago