Version 0.3.2 of package Eprolog has just been released in NonGNU ELPA. You can now find it in M-x list-packages RET.
Eprolog describes itself as: =================================== Native Prolog engine implementation =================================== More at https://elpa.nongnu.org/nongnu/eprolog.html ## Summary: ε-prolog (eprolog) is a complete Prolog engine implementation written in pure Emacs Lisp. It provides a fully functional Prolog system integrated into the Emacs environment, offering traditional Prolog programming capabilities with seamless Lisp interoperability. Features: - Complete unification algorithm with occurs check - Backtracking and choice points with proper cut (!) semantics - Clause database management for facts and rules - Interactive query execution with solution enumeration - Built-in predicates for type checking, control, and list operations - Definite Clause Grammar (DCG) support - Spy/debugging functionality for tracing execution - Direct Lisp integration through special predicates Quick Start: ## Recent NEWS: [Not provided 🙁]
