zelph is an open-source semantic network reasoning engine that performs bottom-up forward chaining over a unified graph. Its key characteristic is radical homoiconicity: rules, predicates, numbers, and facts are all nodes in the same subject–predicate–object graph. Computation emerges from rule-driven…
Category: LP Systems
Systems Description: ErgoAI
A New, Embeddable In-Browser Ciao Playground
RTEC: Run-Time Event Calculus
System Announcement: PROJECTOR
PROJECTOR is an automated rewriting system for non-ground logic programs under answer set semantics. It is designed to improve the performance of answer set programing solutions. Its ideas stem from relational database query optimization techniques. PROJECTOR version 1.0.0 is available…
System Announcement: EZSMT
by Yuliya Lierler
University of Nebraska Omaha
USA
LP System announcement: InterProlog Studio
By Miguel Calejo
ICCMA’17 Call for Solvers
Second International Competition on Computational Models of Argumentation (ICCMA’17) Call for Solvers http://www.dbai.tuwien.ac.at/iccma17 Argumentation is a major topic in the study of artificial intelligence. In particular, the problem of solving certain reasoning tasks on Dung’s abstract argumentation frameworks is central…
tuProlog: Making Prolog Ubiquitous
By Enrico Denti, Andrea Omicini, and Roberta Calegari
DLV: new release
DLV: new release. By Francesco Calimeri and Nicola Leone