Article View: comp.lang.prolog
Article #3580Universal Quantification in PROLOG
From: Chris Preist
Date: Fri, 19 Aug 1988 10:51
Date: Fri, 19 Aug 1988 10:51
10 lines
753 bytes
753 bytes
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
Technical Details
Message-ID:
<1600016@otter.hple.hp.com>Path:
arc1-ca.pugleaf.net!utzoo!yunexus!geac!syntron!jtsv16!uunet!husc6!cmcl2!nrl-cmf!ames!ucsd!ucsdhub!hp-sdd!hplabs!otter!cwpShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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