Milord II. Language description.

Abstract

In this paper we describe the language Milord II. 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 II executes have room in this full description: types, facts, rules, modules, local logics, control strategies, ... Although the description is guided by the Milord II 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.