YAP 7.1.0

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: