Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!newsfeed.pitt.edu!scramble.lm.com!news.math.psu.edu!news.cac.psu.edu!howland.reston.ans.net!newsfeed.internetmci.com!uwm.edu!math.ohio-state.edu!newsfeed.acns.nwu.edu!ftpbox!mothost!schbbs!NewsWatcher!user
From: anewman@epidigm.geg.mot.com (M. Alan Newman)
Subject: Re: Free variables in set_of/3
Organization: Motorola
Date: Sat, 01 Jun 1996 10:55:32 -0700
Message-ID: <anewman-0106961055320001@137.124.91.130>
References: <v01520d01add436baab3f@[129.127.8.16]>
Sender: news@schbbs.mot.com (SCHBBS News Account)
Nntp-Posting-Host: 137.124.91.130
Lines: 15

In article <v01520d01add436baab3f@[129.127.8.16]>,
dwyer@cs.adelaide.edu.au (Barry Dwyer) wrote:

> I understand that I can write 'set_of(X,Y^G(X,Y),L)', making Y a free
> variable in G.  I have numerous examples of this in text books, etc.  But
> what is the correct syntax if I want to have more than one free variable?
> Or must I always define the goal so that there is at most one free
> variable?

set_of(X, Y^Z^...^g(X,Y,Z,...), L) will do it.

-- 
M. Alan Newman (P20582@email.mot.com)
Motorola, Scottsdale, Arizona
Speaking for myself.
