Unification with infinite terms

Article View: comp.lang.prolog

Article #3074

#3074

From: Phil Thrift
Date: Wed, 09 Mar 1988 14:07

15 lines
984 bytes

I would be interested to see any comments about the
use of prologs that have infinite term (also called
infinite tree) unification. In particular I would
be interested in any feedback about the use of this
feature in real applications (or pointers to recent articles
discussing this). [In the paper `A Prolog interpreter
working with infinite terms' in "implementations of PROLOG",
M. Filgueiras writes "The main conclusion from all of this
is that much work (mainly by people working in realistic
applications ...) is needed to allow accurate evaluation of
the potential offered by infinite terms"].

Phil Thrift
TI Computer Science Center

Technical Details

Message-ID: <44133@ti-csl.CSNET>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!husc6!mit-eddie!killer!pollux!ti-csl!thrift

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!husc6!mit-eddie!killer!pollux!ti-csl!thrift
From: thrift@ti-csl.CSNET (Phil Thrift)
Newsgroups: comp.lang.prolog
Subject: Unification with infinite terms
Message-ID: <44133@ti-csl.CSNET>
Date: 9 Mar 88 14:07:03 GMT
Distribution: na
Organization: TI Computer Science Center, Dallas
Lines: 15