
SWI-Prolog es una herramienta basada en una máquina virtual muy sencilla de Prolog llamada ZIP que define solamente 7 instrucciones. Prolog puede compilarse fácilmente en este lenguaje y el código de máquina abstracto es fácilmente descompilado en Prolog. Como también es posible conectar un depurador de 4 puertos estándar en la máquina virtual no hay […]



