chrisamaphone / ceptre-tutorialLinks
Tutorial materials for Ceptre.
☆14Updated 9 years ago
Alternatives and similar repositories for ceptre-tutorial
Users that are interested in ceptre-tutorial are comparing it to the libraries listed below
Sorting:
- Practical Specification of Belief Manipulation in Games☆33Updated 7 years ago
- Tinkering with creating a functional programming language for procedural content generation.☆19Updated last year
- Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.☆283Updated last year
- A mostly ISO-compliant Prolog interpreter for Unity3D☆36Updated 8 years ago
- A simple, ASP-like embedded logic programming language for games☆47Updated last year
- https://mkremins.itch.io/starfreighter☆16Updated 7 years ago
- Our Ludum Dare entry☆20Updated 8 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Updated 5 years ago
- Simplified logic programming language for Unity3D☆11Updated 5 years ago
- A bare-bones blogging system, written in Prolog☆26Updated last year
- SWI-Prolog dynamic C interface☆17Updated last year
- Fast, simplified WAM-based Prolog system☆25Updated 2 months ago
- A Magic: the Gathering™ expert system☆95Updated 13 years ago
- things that don't deserve their own repo☆63Updated 6 months ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 17 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 7 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 9 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- A relational interpretation of Lojban☆34Updated 5 months ago
- MUD Server written in Prolog using Forward chaining☆28Updated 3 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 4 years ago
- Explainable machine learning☆17Updated 6 years ago
- DAYDREAMER goal-based agent☆78Updated 3 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- The Nomyx game☆84Updated 2 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- purple: compiling a reflective language☆33Updated last year
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated 2 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- A tutorial for DCG's in swi-Prolog☆35Updated 4 years ago