Re: mutable object model
"Richard A. O'Keefe" <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
On 15/11/2013, at 4:01 AM, Alan Baljeu wrote:
> Does anyone understand this question? Google doesn't know either.
There is a programming language called LIFE
designed by Hassan Aït-Kaci.
The name stands for (programming with) Logic, Inheritance,
Functions, (and) Equations.
See for example hassan-ait-kaci.net/pdf/life.pdf.
LIFE uses psi-terms. A PSI-term is
- a variable, or
- a number, or
- a compound term, which has a function symbol and
- zero or more arcs labelled with constants leading
to other psi-terms
A psi-term whose labels are the integers from 1..N for
some N is just a Prolog term of arity N.
This is the smallest extension of Prolog terms that
includes "plain" feature structures from linguistics
-- "plain" here meaning no negation or disjunction.
As www.csl.sri.com/~lincoln/papers/nlp90.pdf puts it,
"LIFE - A Natural Language for Natural Language".
The Wild-LIFE interpreter for LIFE is still floating around
on the web; I can no longer recall what went wrong when I
tried to build it.
The thing is that the *theory* of psi-terms has already been
worked out.
By the way, Google _does_ know if you ask the right question...
LIFE Prolog programming term
puts a relevant answer at the foot of the first page.
_______________________________________________
SWI-Prolog mailing list
[email protected]
https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog