Milord II: language description

Abstract

In this paper we describe the language Milord. The description is made in terms of computer language concepts and not in terms of the logical semantics underlying it. In this sense the paper complements others in which the focus of the description has been either the object level multi-valued language description, or the reflective component of the architecture, or even the several applications built using it. All the necessary elements to understand how a system programmed in Milord executes have room in this full description: types, facts, rules, modules, local logics, control rategies, ... Although the description is guided by the Milord language syntax, this is by no means a user's manual, which would deserve a much longer document, but a language summary description that places all the components of the language in their correct place.