A Functional Action Language Front-End

  title={A Functional Action Language Front-End},
  author={Pedro Cabalar},
In this paper we extend the notation of functional logic programs introduced in [1] by: (i) describing a formal translation of nested function references; (ii) dealing with set terms in the rule heads to allow non-determinism; and (iii) introducing high level constructions for representing action domains. The semantics we consider in this work, both for functional logic programs and for the actions language, just consists in a translation into (non-ground) logic programs under the answer sets… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.

Similar Papers

Loading similar papers…