Negation As Failure - Planner Semantics

Planner Semantics

In Planner, negation as failure could be implemented as follows:

if (not (goal p)), then (assert ¬p)

which says that if the goal to prove p fails, then assert ¬p. Note that the above example uses true mathematical negation, which cannot be expressed in Prolog.