Using the Arity/Prolog : Obs. Interpeter and compiller, 266 s.. Language reference manual (Arity Corporation, 1987)