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