cbaziotis / prolog-cfg-parser
A toy SWI-Prolog context-free grammar (CFG) parser, that extracts knowledge (facts) from text.
☆19Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for prolog-cfg-parser
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆26Updated last week
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated last month
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 4 months ago
- Optional types for Prolog☆11Updated 6 years ago
- Community contributions to the Grammatical Framework☆60Updated 3 months ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆11Updated 9 years ago
- A rule engine based on Attempto Controlled English☆18Updated last week
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆54Updated 3 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 10 months ago
- Boolean Constraint Solving in Prolog☆37Updated last year
- CHR: Leuven Constraint Handling Rules☆24Updated last week
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated last year
- Prolog list utility predicates☆11Updated 6 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 6 years ago
- Fast, simplified WAM-based Prolog system☆18Updated last year
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 12 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆92Updated 5 years ago
- Classical CHAT80 NLP system for Prolog☆21Updated last year
- Optional types for Prolog☆16Updated 4 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆33Updated 11 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 5 months ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- A tutorial for DCG's in swi-Prolog☆33Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆17Updated 9 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆53Updated 15 years ago