Next: Logic Programming: Prolog
Up: Adding Computation Domains: CLP
Previous: Constructing Recursive Data Structures:
- Any data structure can be built using the previously presented
ideas
- Pascal records or C structs can be directly mapped on to
functors
- C unions are straightforward (untypedness of Logic
Programming)
- Dynamic data structures are available...
- Without explicit memory management
- With automatic garbage collection
- Well-behaved single-assignment pointers
- Syntactic representation easily understandable
Last modification: Thu Oct 7 12:04:03 MEST 1999 <webmaster@clip.dia.fi.upm.es> 
