A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types

Puri Arenas-Sanchez, Mario Rodriguez-Artalejo

We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data constructors obey a set…