Este manual describe el Sistema Prolog que fue desarrollado en el Departamento de Inteligencia Artificial de la Universidad de Edimburgo expresamente para el DECsystem-10.

Este sistema se compone de un intérprete y un compilador, ambos escritos también en Prolog.

A nivel del usuario, el compilador se puede considerar como un procedimiento integrado en el sistema que puede ser llamado por el intérprete.

»Accede al contenido completo