Donate
Sandbox
Collaborate
Documentation
Downloads
Documentation
Prolog Predicate Reference
builtin
current_predicate/1
current_predicate/1
Check the existence of predicates.
Description
current_predicate
(
?predicate_indicator
)
current_predicate(PI)
is true if and only if
PI
is the identifier of a
user-defined
procedure.
Implementation
Community
Site
Twitter
Github
npm
Documentation
Manual
Examples
Implementation details
Prolog Predicate Reference
Code
Custom bundle
Installation from npm
Source Code
Contact
Form contact
Collaborators
Contributors
tau.prolog @ gmail.com
© 2017 - 2025
José Antonio Riaza Valverde
Released under the
BSD-3 Clause license