Java - CompoundTerm - Variable

From: Stefano Novello <>
Date: Wed 12 Dec 2001 04:24:22 PM GMT
Message-ID: <0B9686DD2E83D411B67200508B9A9DA2459DE9@LON-SRV2>
From: Stefano Novello 
Sent: 12 December 2001 16:21
To: ''
Subject: RE: [eclipse-users] Java - CompoundTerm - Variable

I worked on a project where we hit this limitation, essentially to have
a generic graph with references in it.

We chose to have have the variable once, and any other reference to the
same variable represented as terms like reference([2,3,5,3]) where the
represent a path from the root of the term to the referenced variable. If
know beforehand that you are not dealing with any general term, so you can
a functor to represent variable sharing then this works.

You can also use this above to represent shared subtrees in a term which is
what we were doing.

Stefano Novello

2nd Floor The Tower Building	EMAIL:
11 York Road                      TEL: +44 (0)20 72614068
SE1 7NX LONDON                    

This e-mail message is for the sole use of the intended recipient(s) - its
contents are the property of Parc Technologies Limited (or its licensors)
and are confidential. Please do not copy, review, use (except for the
intended purposes), disclose or distribute the e-mail or its contents or
allow anyone else to do so without our prior permission. 
Parc Technologies Limited does not guarantee that this e-mail has not been
intercepted and amended nor that it is virus-free. You should carry out your
own virus checks before opening any attachment. Any opinions expressed in
this e-mail message are those of the author and not necessarily Parc
Technologies Limited.


-----Original Message-----
From: Olivier Thirifay []
Sent: 12 December 2001 12:28
Subject: [eclipse-users] Java - CompoundTerm - Variable


Is there no possibilities to represent a term with multiple occurences to 
return it to Java ?
>Using CompoundTerm you cannot represent a term with multiple occurrences of

>a single variable.



Rejoignez le plus grand service de messagerie au monde avec MSN Hotmail.
Received on Wed Dec 12 16:24:12 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:12 PM GMT GMT