search

eignnx / rellog

0 stars 0 forks source link

Replace `[Not]` with `[Goal][Truth]` #26

Closed eignnx closed 10 months ago

eignnx commented 10 months ago

See https://swi-prolog.discourse.group/t/reifying-results/5989

[not Goal]
    - [Goal][truth false]

In [Goal][Truth], Truth can be either true, false, or [Error].