Adding Time to Functional Logic Programs
Jeremie Blanc and Rachid Echahed
In Proc. of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001)
, Report No. 2017, University of Kiel
We introduce a new framework which constitutes a
conservative extension of functional logic languages
together with time features such as signals, timed
terms, timed atoms and timed rules.
The resulting formalism combines in a very high level and
uniform way the main features of functional and logic
programming with new features regarding the use of
time thanks to some temporal operators.