Other Models
Other Models
Due to our uniform way to treat features of functional logic languages
we have ommitted some important references. In particular, we have not
referenced some very interesting models.
- LIFE Aït-Kaci
- Constraint programming language over \Phi terms
(similar to records).
- Very high level of expressivity
- Lacking of invertibility of functions.
- Equational logic programming in a proper sense.
- Languages that are not based on a constructor discipline and allows
equations with user defined functions as formal parameters
- Difficult to implement efficiently.
- EQLOG Goguen, Messeguer 86
LPG Bert, Echahed 86
- An alternative way to integrate functions, predicates
and constraints can be done in the framework of concurrent constraint
languages.
The language OZ Smolka also includes object
orientation.
Laziness can be simulated by using perpetual processes and
the synchronization facilities of the language.
The main advantage is that
we add concurrency and objects to the model, but the drawback is the lack
of a clear and simple declarative semantics.
- Escher Lloyd
Go to index