sCASP
sCASP copied to clipboard
:- abducible(-x) does not work
Needs :- abducible('-x').