Re: Higher Order Extensions

Article View: comp.lang.prolog

Article #4052

#4052

From: Chris Moss
Date: Wed, 10 May 1989 13:15

10 lines
979 bytes

In article <1019@mannix.iros1.UUCP> tarau@iros1.UUCP (Paul Tarau) writes:
>
>Defining a findall-like predicate in pure Prolog is relatively easy,
>if we use a data-structure representation of the database.

Quite. What you've done is to take everything "up" a level.
What you haven't shown is the implementation of "findall" AS IT EXISTS,
applying to normal Prolog.

Chris Moss

Technical Details

Message-ID: <801@gould.doc.ic.ac.uk>

Path:

arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!rutgers!sun-barr!texsun!pitstop!sundc!seismo!uunet!mcvax!ukc!icdoc!cdsm

References: <11500013@hpldola.HP.COM> <783@gould.doc.ic.ac.uk> <1019@mannix.iros1.UUCP>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!rutgers!sun-barr!texsun!pitstop!sundc!seismo!uunet!mcvax!ukc!icdoc!cdsm
From: cdsm@doc.ic.ac.uk (Chris Moss)
Newsgroups: comp.lang.prolog
Subject: Re: Higher Order Extensions
Keywords: Constructive "all solutions" in pure Prolog
Message-ID: <801@gould.doc.ic.ac.uk>
Date: 10 May 89 13:15:17 GMT
References: <11500013@hpldola.HP.COM> <783@gould.doc.ic.ac.uk> <1019@mannix.iros1.UUCP>
Reply-To: cdsm@doc.ic.ac.uk (Chris Moss)
Organization: Dept. of Computing, Imperial College, London, UK.
Lines: 10

Reply to Parent Message