I’ve created a quick and dirty port for sCASP, a top-down interpreter for ASP programs with constraints. This system was created by Kyle Marple as sASP. Joaquín Arias Herrero added constraints and ported it from SWI-Prolog to Ciao. I’ve ported it back, using the Ciao emulation by @edison. As a result it is now a bit of a mess
The purpose of this enterprise was to demonstrate the feasibility and understand the basics of the code. Depending on further evaluation it will hopefully evolve to a clean resource.
The port is available at GitHub - JanWielemaker/sCASP: top-down interpreter for ASP programs with constraints, where you also find pointers to the origin, articles, etc.