搜索

Strawberry PrologProlog 逻辑编程语言编译器

0粉丝
由保加利亚科技学院的数学和信息学院及保加利亚索菲亚大学数学和信息学系人员共同研发的用 MFC 实现的 Windows 平台下的开源 Prolog 逻辑
知识
简介
由保加利亚科技学院的数学和信息学院及保加利亚索菲亚大学数学和信息学系人员共同研发的用 MFC 实现的 Windows 平台下的开源 Prolog 逻辑编程语言编译器，提供了三个版本：轻量版（Light Edition，免费版）、中量版（Middle Edition，收费）和专业版（Professio... 更多
其它信息
地区
不详
开源组织
无
所属分类
开发工具、 编译器
授权协议
AntiGNU
操作系统
Windows
收录时间
2023-10-02
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-10
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
Strawberry PrologProlog 逻辑编程语言编译器
由保加利亚科技学院的数学和信息学院及保加利亚索菲亚大学数学和信息学系人员共同研发的用 MFC 实现的
Strawberry PrologProlog 逻辑编程语言编译器
0
MovForthForth 语言编译器
MovForth 将 Forth 源代码编译为可执行的二进制文件。使用 LLVM IR 作为中间目标
MovForthForth 语言编译器
0
GccgoGo语言编译器
Gccgo 是在利用 GCC 来编译 Go 语言的编译器。
GccgoGo语言编译器
0
awibBrainfuck语言编译器
如果你觉得用C语言来实现BrainFuck语言的解释器是对BrainFuck这种语言的一种侮辱的话，
awibBrainfuck语言编译器
0
nwccC语言编译器
nwcc 是一个Unix系统的C语言编译器，支持 FreeBSD/OpenBSD/Linux/Sol
nwccC语言编译器
0
DILD 语言编译器
DIL是一个采用Tango库开发的D语言编译器，已经全部实现了词法和语法分析器，语义分析工作正在进行中。后端很可能是LLVM。StatusDIL擅长从源文件生成文档。语义分析非常困难。DIL中仅存在其
DILD 语言编译器
0
C4C 语言编译器
4个函数实现的c编译器，大约500行。基本上已经比较完备了，可以自己编译自己。使用方法：gcc -o
C4C 语言编译器
0
C4C 语言编译器
4个函数实现的c编译器，大约500行。基本上已经比较完备了，可以自己编译自己。使用方法：gcc -o c4 c4.c  (you may need the -m32 option on 64bit m
C4C 语言编译器
0
MovForthForth 语言编译器
MovForth将Forth源代码编译为可执行的二进制文件。使用LLVMIR作为中间目标，是将Forth适配到现代编译器库和现代架构的实验。自下而上编译；没有字典或解释器保留在最终可执行文件中即时词的
MovForthForth 语言编译器
0
llgoGo 语言编译器
llgo是一个Go语言的编译器，使用Go编写，使用的是LLVM编译器架构。该项目主要用于教学目的。
llgoGo 语言编译器
0