The GNU Prolog native compiler
Event-driven Automation Framework for Kubernetes
A Julia package for Prolog-style logic programming
ECLiPSe Constraint Logic Programming System
A Database System for Metamodeling and Method Engineering
visit eclipse.dougedmunds.com
A logic programming tool and a logical database with a RESTful API
An intelligent virtual assistant (IVA) or intelligent personal assista
Implements the stable model semantics without grounding.
Formalized Research Database: Cluster, Study and Apply
A calculator for solving problems using Constraint Logic Programming.
Syllog is a system for teaching logic, with anonymous answer logging
PyCLP is a Python library to interface ECLiPSe Constraint System
a reasoning engine for agents and games
A Java front-end to the dnrDALMAS Prolog Module.
A general-level Prolog implementation of the DALMAS architecture.
Cognitive architecture with a focus on self-models
Library with classes for common programming issues.
Logic Program Updates System
Tabled abduction in logic programs.