4.8 Meta-Call Predicates
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Built-in Predicates
Meta-Call Predicates
call/1
call/2
apply/2
not/1
once/1
ignore/1
call_with_depth_limit/3
call_with_inference_limit/3
setup_call_cleanup/3
setup_call_catcher_cleanup/4
call_cleanup/2
undo/1
Packages
Availability:
built-in
[deprecated]
not
(
:Goal
)
True if
Goal
cannot be proven. Retained for compatibility only. New code should use
\+/1
.
[deprecated]not(:Goal)[deprecated]not(:Goal)