Prolog Engine in Emacs Lisp
☆20Mar 8, 2026Updated 5 months ago
Alternatives and similar repositories for eprolog
Users that are interested in eprolog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- linq in lisp; data set manipulating done easy☆21Jul 4, 2025Updated last year
- A prototype implementation for having Julia-like functions in Common Lisp.☆21Apr 25, 2023Updated 3 years ago
- A library for seamless multi-language programming.☆38Jan 29, 2025Updated last year
- FMCS: the Flavors Meta-Class System for Common Lisp and alternative to CLOS+MOP, restored from the CMU AI Repository☆12Aug 31, 2023Updated 2 years ago
- Org Babel integration with DuckDB.☆59Dec 22, 2025Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Source code and related files for the text editor EINE from 1975-1981☆15Aug 29, 2025Updated 11 months ago
- VOrg 是一个简单 VS Code 扩展，为 Org-mode 文档提供完整的编辑和预览体验，借助 VS Code 提升 org-mode 的编辑体验☆22Jul 4, 2026Updated last month
- Portability library for IEEE float features that are not covered by the CL standard.☆36May 17, 2026Updated 2 months ago
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago
- Jürgen Walther's AI Workbench for Common Lisp, restored from the CMU AI Repository☆14Nov 4, 2023Updated 2 years ago
- Joshua and Clim Environment☆16Apr 20, 2022Updated 4 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Mar 30, 2026Updated 4 months ago
- Simple, non-blocking IMAP email client for Emacs☆27May 13, 2026Updated 2 months ago
- Translates UML class diagrams to OWL2☆20Jul 30, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Parse date-time-string, liberally.☆19Jul 23, 2014Updated 12 years ago
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Apr 19, 2018Updated 8 years ago
- ☆22May 12, 2026Updated 2 months ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- A reference card for GNU APL☆11Feb 19, 2025Updated last year
- ☆11Updated this week
- Client-server, python-based laboratory software☆19May 27, 2026Updated 2 months ago
- A simple but effective pure GNU Prolog client connecting with Redis, no libraries required.☆16Nov 1, 2016Updated 9 years ago
- A multi-consumer/multi-producer thread pooling library for Common Lisp.☆15Apr 12, 2013Updated 13 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Import SRFI metadata into the Scheme API☆11Updated this week
- ELOT Literate Ontology Tool☆31Updated this week
- Prolog implementation based on Warren's abstract machine☆43Dec 18, 2019Updated 6 years ago
- Probabilistic Programming☆43Oct 18, 2025Updated 9 months ago
- programs written in Picat☆13Jun 18, 2026Updated last month
- Discussion and announcement management for the KGC Book Club☆11Sep 8, 2020Updated 5 years ago
- Mirror of GNU Emacs☆23Sep 18, 2025Updated 10 months ago
- A minimal object-oriented programming language supporting local methods.☆21Jan 27, 2015Updated 11 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆16Jul 17, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Pure prolog JSON encoding and decoding library plus some simple utility functions.☆13Jun 10, 2015Updated 11 years ago
- LaTeX toolkit for drawing and writing better OWL ontologies and RDF graphs in general.☆10Jul 3, 2023Updated 3 years ago
- NrvrCommander is a Python package for devops and QA automation around virtual machines, VMware, Linux, and more.☆16Dec 8, 2015Updated 10 years ago
- Whelk is an OWL EL reasoner☆44Mar 5, 2025Updated last year
- forked Christophe Rhodes's PAIProlog that an update of Peter Norvig's "Prolog in Common Lisp".☆20Feb 24, 2018Updated 8 years ago
- PiLisp Language☆11Jun 15, 2023Updated 3 years ago
- EMACS> █☆33May 8, 2016Updated 10 years ago