Terap-IA has been implemented using the Milord II language. In this section we present a brief schema of Terap-IA's architecture and which are the decisions in the representation that fulfils the schema presented in Section 2.
Milord II is a modular language for knowledge-based systems. In [2, 3, 4] the interested reader can find a complete description of the language and its logical semantics. We introduce it progressively by means of examples from Terap-IA.