search

alessandro-montanari / tuprolog

Automatically exported from code.google.com/p/tuprolog
0 stars 0 forks source link

Feature request: unifiable objects #23

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Original post from 2008

It would be cool if you provide some interface "Unifiable" and let java objects 
to be
a) atoms, making them part of the unification process of Prolog
b) compound term, so we can easily get properties of the object to vars

This would add extreme flexibility to tuProlog and the theory would be so easy 
to write over Java objects.

Jakub Gemrot (jakub.gemrot@gmail.com)

Original issue reported on code.google.com by enrico.d...@gmail.com on 6 Dec 2013 at 1:55