| Tests the predicate-indicators of the user-defined predicates in the database.
current_predicate(+Predicate)
current_predicate/1 tests if Predicate
is defined in the MINERVA database.
Arguments
Predicate compound ground term (atom/integer)
Examples
There exists a database with following user-defined predicates:
colour(red).
colour(white).
colour(red,green,blue).
| current_predicate(colour/1). |
Succeeds |
| current_predicate(add/2). |
Fails. |
Standard
This predicate is part of the ISO-Prolog Standard.
In violation of the standard, the predicate does not
allow variables in in the argument.
See also
clause/2.
| 
