meditans / reifLinks
Ulrich Newmerkel's library for reified if, as a prolog pack
☆11Updated 5 years ago
Alternatives and similar repositories for reif
Users that are interested in reif are comparing it to the libraries listed below
Sorting:
- Prolog binding for terminusdb-store☆22Updated 3 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆19Updated last year
- Kanren with databases☆44Updated last year
- Apply and compose functions in Prolog☆19Updated 9 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆28Updated 7 years ago
- Datalog implemented in minikanren☆24Updated 8 years ago
- Prolog stuff☆27Updated 6 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆60Updated 6 years ago
- Text templating processor for SWI-Prolog.☆32Updated 5 years ago
- Yes, Erlang in SWI-Prolog!☆12Updated 7 years ago
- The propagator system☆41Updated 10 years ago
- Linked data tooling for the Racket programming language (json-ld, eventually more)☆16Updated 7 years ago
- Web Framework for SWI-Prolog☆43Updated 10 years ago
- a minimal implementation of incremental computation in Scheme☆36Updated 8 years ago
- Pengine and Prolog scratchpad☆59Updated 3 months ago
- Date and time library for Prolog☆27Updated 4 years ago
- Prolog Pengines + vue.js☆17Updated 6 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 8 years ago
- Prolog Reverse Proxy☆20Updated 7 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- Racket-based implementation of Adapton☆24Updated 6 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 8 years ago
- Functional Geometry in Prolog☆18Updated 5 years ago
- The SWI-Prolog RDF store☆32Updated this week
- ☆49Updated last month
- Probabilistic miniKanren☆67Updated 10 years ago
- DocLog builds documentation from source code in Prolog☆31Updated last week
- Research project: Program synthesis using updated interface, template and types.☆14Updated 5 years ago
- Utility for interactive exploration of complex data structures.☆33Updated 9 years ago
- SWI-Prolog ported to WebAssembly☆40Updated 7 years ago