projog

3.58. recorded(X,Y,Z) - checks if a term is associated with a key.

recorded(X,Y,Z) succeeds if there exists an association between the key represented by X and the term represented by Y, with the reference represented by Z.

Examples

?- recorded(X,Y,Z).

no

Note: recorded/2 is equivalent to calling recorded/3 with the third argument as an anonymous variable.

?- recorded(X,Y).

no