[eclipse-clp-users] Saving information

From: Christian Wirth <tyrion_at_...215...>
Date: Fri, 26 Mar 2010 14:30:34 +0100

i need to save a dynamic datastructure (currently a list, but will 
become a tree in a future version) for further use.
How to ?
The first idea i had is, creating dynamic clauses out of the list 
elements and adding them, but that seems not practical to me.
Is it possible to save the datastructure itself ?

best regards Christian Wirth
Received on Fri Mar 26 2010 - 13:56:31 CET

This archive was generated by hypermail 2.3.0 : Sun Aug 25 2019 - 00:14:50 CEST