Home
Download
| (
Browse GIT
)
Contrib
FAQ
|
HOWTO
Manual
Mailinglist
Support
Links
Contact
IDE
(developing)
Graphics
(Semantic) Web
Publications
Contributors
License
4.8 Meta-Call Predicates
All
Application
Manual
Name
Summary
Help
Availability:
built-in
not
(
:Goal
)
True if
Goal
cannot be proven. Retained for compatibility only. New code should use
\+/1
.
