Lloyd, John; Ng, Kee Siong
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic programming idioms, higher-order functions, modal computation, probabilistic computation, and some theorem-proving capabilities. The need for these features is motivated and examples are given to illustrate the central ideas.
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.