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

Abstract

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.