FICHIA.ML

Este fichero, incluye las definiciones de los tipos de datos que se usarán a lo largo de toda la aplicación. Estos tipos representan:

• term Este tipo almacena como string las constantes o variables, que pueden figurar como términos dentro de una atómica. Como ya se ha comentado, no se permite la utilización de funciones. La utilización de constructores distintos permite la diferenciación entre constantes y variables.

  Ejemplo:

  Para representar la constante pedro: Con "pedro"
  Para representar la variable x: Var "X"
  
  

• orden Se definen una serie de constructores que permiten definir el conjunto de órdenes que se pueden introducir al programa. Ejemplo:

  Para representar el comando salir se utiliza el constructor Salir.
  
  

• atomo Este tipo se usa, como su nombre indica, para representar las sentencias atómicas. Además del constructor necesario para definir esta clase de tipos en CAML, se incluye de nuevo un tipo producto. El primer tipo del producto es un tipo string, que se utiliza para guardar el nombre del predicado constituyente de la sentencia atómica. El segundo tipo del producto es una lista de term, que almacenará los términos del predicado. Aunque en principio este tipo de datos permitiría la definición de predicados 0-arios, la forma de implementar el scanner los evita.

  Ejemplo:

  Para representar el hecho de que el numero dos es par, par(dos)
  el atomo correspondiente sera: 
  	at("par",[Con "dos"])
  
  

• expresion Este tipo de datos será usado para representar las sentencias. Estas sentencias son, como ya se ha explicado, sentencias atómicas, que representarán los hechos de la base de conocimientos (BC), o bien implicaciones (cuyo consecuente es una sentencia atómica y su antecedente es la conjunción de atómos, por restrición del lenguaje permitido). Para implementar este tipo de datos se ha utilizado, además de un constructor, un tipo producto.

  El primer tipo de este producto es un atomo, que representará el consecuente de la implicación (si es que se trata de una implicación), o, en caso de ser un hecho, lo representa propiamente.

  El segundo tipo del producto es una lista de atomos. Si la sentencia representada bajo este tipo es un hecho, entonces la lista, simplemente, estará vacía. Por el contrario si la sentencia a representar es una implicación, entonces esta lista contendrá el conjunto de atomos que representan la conjunción de sentencias atómicas que forma el antecedente.

  De esta forma, bajo el mismo tipo de datos se representa cualquiera de las dos clases de expresiones que se pueden introducir en la BC.

  Ejemplo:

  Si queremos representar el hecho de que David es padre de Oscar:
  	padre(David,Oscar)
  
  La expresion sera: exp(at("padre",[Con "david";Con "oscar"]),[])
  
  Como se puede observar, al ser un hecho, la lista de antecedentes esta vacia.
  
  Representemos ahora la implicacion: padre(X,Y)->hijo(Y,X).
  
  La expresion resultante sera: 
  	exp(at("hijo",[Var "Y";Var "X"]),[at("padre",[Var "X";Var "Y"])])
  
  Donde el predicado correspondiente a padre figura en la lista de antecedentes.
  
  

• ent-ord Se utiliza para pasarle al programa principal la orden correspondiente y una lista de expresiones, que puede estar vacía (si la orden que se introduce no contiene ninguna expresión como parámetro, ej.- empty) o puede contener una sola expresión que será el parámetro introducido junto con la orden. Ejemplo:

  Si queremos introducir el hecho de que David es padre de Oscar en la base
  el tipo de dato ent_ord sera:
  
  	ORD(Save,[e])
  
  Donde e sera: exp(at("padre",[Con "david";Con "oscar"]),[])
  
  Si queremos salir el dato ent-ord sera: ORD(Salir,[])