s(CASP) for SWI-Prolog.

Jan Wielemaker, Joaqun Arias, Gopal Gupta

Browse the full ICLP paper archive.