zipc compila Prolog a una máquina virtual ZIP para acelerar trilog
A ZIP-style Prolog VM for trilog
zipc es un proyecto en curso que lleva Prolog a la máquina abstracta ZIP descrita por Clocksin en 1984. El compilador, escrito en Prolog y ejecutado sobre Scryer Prolog, genera una imagen binaria que una VM en C carga y ejecuta. trilog interpreta cláusulas como términos con el algoritmo ABC; compilarlas a ZIP debería reducir instrucciones y memoria. Si el MVP funciona, zipc podría convertirse en su backend.
trilog interpreta las cláusulas como términos con el algoritmo ABC, y compilarlas a ZIP debería hacer que los mismos programas se ejecuten con menos instrucciones y menos memoria.
- donutdonot
Prolog es un lenguaje tan raro pero a la vez tan interesante. Qué buenos tiempos tener que programar en él en la universidad.
¿Queda algún caso de uso moderno de Prolog, o es más bien de interés académico?