## Declarative Programming for Agent Applications

### Cached

### Download Links

by
J. W. Lloyd
,
K. S. Ng

Citations: | 1 - 1 self |

### BibTeX

@MISC{Lloyd_declarativeprogramming,

author = {J. W. Lloyd and K. S. Ng},

title = { Declarative Programming for Agent Applications},

year = {}

}

### OpenURL

### Abstract

This paper introduces the computational 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.