Embedding s(CASP) in Prolog.

Jan Wielemaker, Mikko Tiihonen

Browse the full ICLP paper archive.