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

3.57. recorda(X,Y,Z) / recordz(X,Y,Z) - associates a term with a key.

3.59. spy(X) / nospy(X) - add or remove a spy point for a predicate.

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

3.57. recorda(X,Y,Z) / recordz(X,Y,Z) - associates a term with a key.

3.59. spy(X) / nospy(X) - add or remove a spy point for a predicate.

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

Examples

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