Path: utzoo!yunexus!geac!syntron!jtsv16!uunet!husc6!cmcl2!nrl-cmf!ames!ucsd!ucsdhub!hp-sdd!hplabs!otter!cwp From: cwp@otter.hple.hp.com (Chris Preist) Newsgroups: comp.lang.prolog Subject: Universal Quantification in PROLOG Message-ID: <1600016@otter.hple.hp.com> Date: 19 Aug 88 10:51:52 GMT Article-I.D.: otter.1600016 Organization: Hewlett-Packard Laboratories, Bristol, UK. Lines: 10 Could any of you give me information on the representation of universal quantification in the various dialects of PROLOG available please? We have a problem which contains universal quantifications within the body of a clause, and wish to represent these in as pure and logical a fashion as possible. Thanks for any help forthcoming. Chris