LogicJS icon indicating copy to clipboard operation
LogicJS copied to clipboard

Published 20 hours ago • verified publisher icon mcsoto

Negation primitive goal

Open itsabdelrahman opened this issue 8 years ago • 1 comments

The library supports primitive goals such as and, or & eq. But does it support the not primitive goal?

itsabdelrahman avatar Jun 15 '17 22:06 itsabdelrahman

Supporting not adequately is an open problem (the not in Prolog is impure). neq/diff could be added at some point with constraints.

mcsoto avatar Sep 30 '17 22:09 mcsoto