[NonGNU ELPA] Eprolog version 0.3.2
ELPA update <[email protected]> Sat, 02 May 2026 17:10:12 -0400
| Newsgroups | gmane.emacs.sources |
|---|---|
| Message-ID | <[email protected]> |
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 🙁]