Tests the predicate-indicators of the user-defined predicates in the database.
current_predicate/1 tests if Predicate is defined in the MINERVA database.
Predicate compound ground term (atom/integer)
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. |
This predicate is part of the ISO-Prolog Standard.
In violation of the standard, the predicate does not allow variables in in the argument.
| scroll to top |
|