|
|
|||||||||
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.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/clause_retrieve/current_predicate/print_de.html published 2008/12/1 update 2003/2/26 (c) 1996-2006 IF Computer Japan | ||||||||
|
