Strawberry PrologProlog 逻辑编程语言编译器
由保加利亚科技学院的数学和信息学院及保加利亚索菲亚大学数学和信息学系人员共同研发的用 MFC 实现的 Windows 平台下的开源 Prolog 逻辑编程语言编译器,提供了三个版本:轻量版(Light Edition,免费版)、中量版(Middle Edition,收费)和专业版(Professional Edition,收费),轻量版源码在 AntiGNU 协议下公开。
Features
- 独特的调试工具:证明树(proof tree)为其一,可查看目标(goal)是如何得到满足(satisfy)的
- 电子邮件谓语助你自动生成信件并管理你的邮件往来
- 作用域能超出子句的全局变量
- Prolog CGI 脚本
- 对象浏览器和 OLE 功能
评论
DILD 语言编译器
DIL是一个采用Tango库开发的D语言编译器,已经全部实现了词法和语法分析器,语义分析工作正在进行中。后端很可能是LLVM。StatusDIL擅长从源文件生成文档。语义分析非常困难。DIL中仅存在其
DILD 语言编译器
0
MovForthForth 语言编译器
MovForth将Forth源代码编译为可执行的二进制文件。使用LLVMIR作为中间目标,是将Forth适配到现代编译器库和现代架构的实验。自下而上编译;没有字典或解释器保留在最终可执行文件中即时词的
MovForthForth 语言编译器
0
C4C 语言编译器
4个函数实现的c编译器,大约500行。基本上已经比较完备了,可以自己编译自己。使用方法:gcc -o c4 c4.c (you may need the -m32 option on 64bit m
C4C 语言编译器
0