Path: 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


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.