recordzifnot/3

recordzifnot(+ K, T,- R) More...

Detailed Description

recordzifnot(+ K, T,- R)

If a term equal to T up to variable renaming is stored under key K fail Otherwise, make term T the first record under key K and unify R with its reference

This predicate is YAP specific

---

The documentation for this class was generated from the following file:

• /home/vsc/github/yap/pl/bootutils.yap