Re: Universal Quantification in PROLOG

Article View: comp.lang.prolog

Article #3614

#3614

From: goldfain
Date: Sun, 28 Aug 1988 21:41

6 lines
765 bytes

Clocksin and Mellish chapter 10 discusses this and related notions.

Basically, all variables in a Prolog  clause are understood  to be universally
quantified.   It is  existential  quantification that  is somewhat  harder  to
express.

Technical Details

Message-ID: <7000001@osiris.cso.uiuc.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!rutgers!uwvax!oddjob!uxc!uxc.cso.uiuc.edu!osiris.cso.uiuc.edu!goldfain

References: <1600016@otter.hple.hp.com>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!rutgers!uwvax!oddjob!uxc!uxc.cso.uiuc.edu!osiris.cso.uiuc.edu!goldfain
From: goldfain@osiris.cso.uiuc.edu
Newsgroups: comp.lang.prolog
Subject: Re: Universal Quantification in PROLOG
Message-ID: <7000001@osiris.cso.uiuc.edu>
Date: 28 Aug 88 21:41:00 GMT
References: <1600016@otter.hple.hp.com>
Lines: 6
Nf-ID: #R:otter.hple.hp.com:1600016:osiris.cso.uiuc.edu:7000001:000:236
Nf-From: osiris.cso.uiuc.edu!goldfain    Aug 28 16:41:00 1988

Reply to Parent Message