recordaifnot/3

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

Detailed Description

recordaifnot(+ 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

---

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

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