sCASP icon indicating copy to clipboard operation
sCASP copied to clipboard
verified publisher icon SWI-Prolog

:- abducible(-x) does not work

Open JanWielemaker opened this issue 2 years ago • 0 comments

Needs :- abducible('-x').

JanWielemaker avatar Aug 22 '23 07:08 JanWielemaker