La implementación del programa LFIAML (por Lógica Formal Inteligencia Artificial y CAML ) consta de cuatro ficheros , que se complementan para conformar tanto un intérprete de un lenguaje restringido delógica de predicados de primer orden (restringido), como un conjunto de mecanismos de inferencia.
Además de los cuatro ficheros que constituyen el cuerpo de la aplicación. Se ha dispuesto un quinto fichero, llamado Makefile, el cual permite la compilación efectiva de los ficheros, sin tener que poseer conocimientos de los comandos propios de CAML para realizar compilaciones.
En las siguientes secciones se detallan las interioridades de cada uno de los ficheros, así como la explicación de su cometido. El fichero lfiaml.ml es el cuerpo principal del programa, que usa los otros ficheros de modo auxiliar.