Report copyright - Quintus Computer Systems, Inc. St, Palo Alto, CA 94306 · Each built-in predicate definition is headed by a goal template such as setof{?X,+Goal,-Set) Here X and the others are meta-variables
Please pass captcha verification before submit form