Embedding s(CASP) in Prolog. - Jan Wielemaker; Mikko Tiihonen (ICLP Workshops, 2022)