Java - CompoundTerm - Variable

From: Stefano Novello 
Sent: 12 December 2001 16:21
To: 'eclipse_users@icparc.ic.ac.uk'
Subject: RE: [eclipse-users] Java - CompoundTerm - Variable


Olivier,
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
numbers
represent a path from the root of the term to the referenced variable. If
you
know beforehand that you are not dealing with any general term, so you can
reserve
a functor to represent variable sharing then this works.

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

Stefano Novello

2nd Floor The Tower Building	EMAIL: Stefano.Novello@parc-technologies.com
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 [mailto:olithiri@hotmail.com]
Sent: 12 December 2001 12:28
To: eclipse-users@icparc.ic.ac.uk
Subject: [eclipse-users] Java - CompoundTerm - Variable


Hello,

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

>a single variable.

Thanks

Olivier

_________________________________________________________________
Rejoignez le plus grand service de messagerie au monde avec MSN Hotmail. 
http://www.hotmail.com/fr