LPSL 源码

LPSL lambda prolog的编译器,旨在编译为超快速的二进制文件。 LPSL(lambda prolog系统语言)采用lambda prolog代码并将其转换为fortran 2008。 如果您像我一样,那么您一直对逻辑编程感兴趣,而逻辑编程绝对对系统编程无意义。 您是否曾经想过在prolog中构建一个os,现在就可以。 LPSL是Teyjus的克隆,但支持指针,变量,更多内置在谓词中,编译以及对fortran和c库的支持。 对象级别的非参数多态性。 一阶和更高阶项。 编译器: LPSL使用了大量的编译器优化,最终导致了几乎是一个随机的超级优化器,该超级优化器可以在短序