PureProlog

含有章节索引的中文 文章模板

-- hoxide [2004-12-08 14:16:56]

1. 初步设想

• 项目: .net下的prolog编程环境.

• 计划: 实现wam到.net虚拟机的翻译, 实现prolog到wam的编译.

• 用prolog来写prolog的编译器

• 代码基础 GNU-Prolog

2. 项目计划

• L0 解释器 (已完成)

• L1 解释器 (已完成)

• L2 解释器 (已完成)

• L3/PureProlog 解释器 (已完成)

• WAM调优, 完整的Prolog. (进行中...)

• Prolog嵌入技术(使用Python函数库和.net CLI).

3. 项目进度

3.1. L0 解释器

• 已完成

• bind函数中未作occurs检查

• 未作注释

• 版本 0.1.0

• 代码可从 http://pureprolog.tigris.org/files/documents/2340/20172/L0-0.1.0.tar下载.

3.2. L1 解释器

• 已完成

• 分离L12wam.py的词法分析成份为L1AST.py

• 未作注视

• 版本 0.1.0

• 代码可从 http://pureprolog.tigris.org/files/documents/2340/20286/L1-0.1.0.tar下载

3.3. L2 解释器

• 已完成

• 版本 0.1.0

• 调整了P和CP的实现, 增加寄存器类, 专门管理寄存器操作.

• 代码可从 http://pureprolog.tigris.org/files/documents/2340/20286/L2-0.1.0.tar下载

3.4. L3 解释器

• 已完成, 并非完整

• 版本 实验版本

• 彻底修改STACK,HEAP,的实现, 使用专门的类进行管理, 考虑今后加入GC

• P和CP的实现仍存在问题, 需要调用栈? 不清楚, 继续研究, 在真正的Porlog中将会全部解决.

• 代码暂时不可用, 实验版本

3.5. L3 解释器

• 已完成, 并非完整

• 版本 实验版本

• 彻底修改STACK,HEAP,的实现, 使用专门的类进行管理, 考虑今后加入GC

• P和CP的实现仍存在问题, 需要调用栈? 不清楚, 继续研究, 在真正的Porlog中将会全部解决.

• 代码暂时不可用, 实验版本

4. 已有项目

• P#

5. 相关链结

• PyLog

• Python Logic SIG

--jacobfan

6. 项目主页

• http://pureprolog.tigris.org/ 已经得到批准．

• 目前工作学习WAM虚拟机, 用python实现之.