A multi-relation, microtheory-rooted, graph-based planning-domain editor for SWI-Prolog. SPSE4 is the successor to SPSE2 (2011, Perl/Tk) and SPSE2-Formalog (the SWI-Prolog bridge). It consolidates the ...

Ask the publishers to restore access to 500,000+ books. An icon used to represent a menu that can be toggled by interacting with this icon. A line drawing of the Internet Archive headquarters building ...

The Africa Program achieves its mission through in-depth research that offers practical solutions to key challenges in US-Africa relations. The Africa Program's flagship initiatives include the ...

In a move that will absolutely not over-excite anyone, nor lead to any heated arguments, [needleful] posits that their C Plus Prolog (C+P for short) programming language is the best possible language ...

Currently, Ubuntu 24.04 is running on CSIL Linux physical workstations and CSIL CPU servers. Ubuntu 22.04 is still running on CSIL VDI. This page has a list of Linux ...

Logicmoo Event Calc -- A SWI-Prolog Pack that lets Prolog code seamlessly use planners speaking LPS, Decreasoner EventCalc, PDDLish and OCLh NOTICE: This is a work in progress and is being updated ...