ZIP风格Prolog虚拟机:trilog的新引擎
A ZIP-style Prolog VM for trilog

这是一个名为zipc的项目,旨在为trilog构建一个基于ZIP抽象机的Prolog虚拟机。项目包含一个用Prolog编写的编译器,能将Prolog代码转换为ZIP虚拟机指令,以及一个用C语言实现的虚拟机。目标是让trilog中的程序在编译后运行更快、占用内存更少,从而提升其作为Prolog运行时环境的性能。
编译成ZIP指令后,相同的程序将以更少的指令和更少的内存运行。
HN 评论区
10- donutdonot
Prolog 是一门既怪异又有趣的语言。回想大学时期不得不去写 Prolog 的日子,真是妙趣横生。
Prolog 现在还有什么现代应用场景吗,还是说它更多只是学术界的兴趣?