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 ...

This repo is a record of my attempt to research and learn Prolog programming using Constraint Logic Programming (CLP). The work here was greatly inspired along by the Power of Prolog series, reading ...