mndrix/microkanren-prolog
Prolog implementation of microKanren
Extended DCG syntax for Prolog by Peter Van Roy
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Prolog implementation of microKanren
Simple State Machine Implementation
Emacs key bindings for only core Atom functionality
better autocomplete for atom, using ctags