Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!math.ohio-state.edu!jussieu.fr!fdn.fr!uunet!in1.uu.net!world!bmoroze
From: bmoroze@world.std.com (Ben Moroze)
Subject: Solution for versionspace algorithm?
Message-ID: <D5puGt.729@world.std.com>
Organization: The World Public Access UNIX, Brookline, MA
X-Newsreader: TIN [version 1.2 PL2]
Date: Mon, 20 Mar 1995 01:50:53 GMT
Lines: 8

Borland's Turbo Prolog does not contain relational qualifiers such as
existential qualification.  Is anyone aware of a way to work around these 
limitations?



					Ben Moroze (bmoroze@world.std.com)
 
