Strawberry PrologProlog 逻辑编程语言编译器

联合创作 · 2023-10-02 00:54

由保加利亚科技学院的数学和信息学院及保加利亚索菲亚大学数学和信息学系人员共同研发的用 MFC 实现的 Windows 平台下的开源 Prolog 逻辑编程语言编译器，提供了三个版本：轻量版（Light Edition，免费版）、中量版（Middle Edition，收费）和专业版（Professional Edition，收费），轻量版源码在 AntiGNU 协议下公开。

Features

独特的调试工具：证明树（proof tree）为其一，可查看目标（goal）是如何得到满足（satisfy）的
电子邮件谓语助你自动生成信件并管理你的邮件往来
作用域能超出子句的全局变量
Prolog CGI 脚本
对象浏览器和 OLE 功能

浏览 9

点赞

收藏

分享

举报

评论

图片

表情

DILD 语言编译器

DIL是一个采用Tango库开发的D语言编译器，已经全部实现了词法和语法分析器，语义分析工作正在进行中。后端很可能是LLVM。StatusDIL擅长从源文件生成文档。语义分析非常困难。DIL中仅存在其

DILD 语言编译器

GccgoGo语言编译器

Gccgo 是在利用 GCC 来编译 Go 语言的编译器。

GccgoGo语言编译器

MovForthForth 语言编译器

MovForth 将 Forth 源代码编译为可执行的二进制文件。使用 LLVM IR 作为中间目标

MovForthForth 语言编译器

llgoGo 语言编译器

llgo是一个Go语言的编译器，使用Go编写，使用的是LLVM编译器架构。该项目主要用于教学目的。

llgoGo 语言编译器

MovForthForth 语言编译器

MovForth将Forth源代码编译为可执行的二进制文件。使用LLVMIR作为中间目标，是将Forth适配到现代编译器库和现代架构的实验。自下而上编译；没有字典或解释器保留在最终可执行文件中即时词的

MovForthForth 语言编译器

GccgoGo语言编译器

Gccgo是在利用GCC来编译Go语言的编译器。

GccgoGo语言编译器

fsharpF# 语言编译器

fsharp是一个开源的F#语言编译器。

fsharpF# 语言编译器

C4C 语言编译器

4个函数实现的c编译器，大约500行。基本上已经比较完备了，可以自己编译自己。使用方法：gcc -o c4 c4.c (you may need the -m32 option on 64bit m

C4C 语言编译器

nwccC语言编译器

nwcc是一个Unix系统的C语言编译器，支持FreeBSD/OpenBSD/Linux/Solarison80x86(withnasmandgas),FreeBSD/LinuxonAMD64(wit

nwccC语言编译器

awibBrainfuck语言编译器

如果你觉得用C语言来实现BrainFuck语言的解释器是对BrainFuck这种语言的一种侮辱的话，我们的BrainFuck社区是绝对不能容忍你有这种想法的。因为我们有一个使用100%纯brainfu

awibBrainfuck语言编译器

点赞

收藏

分享

举报