|
Size: 545
Comment:
|
Size: 1578
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 14: | Line 14: |
| = 项目计划 = * L0 解释器 (已完成) * L1 解释器 (已完成) * L2 解释器 (已完成) * L3/PureProlog 解释器 * WAM调优 * Prolog嵌入技术(使用Python函数库和.net CLI). = 项目进度 = == L0 解释器 == * 已完成 * bind函数中未作occurs检查 * 未作注释 * 版本 0.1.0 * 代码可从[http://pureprolog.tigris.org/files/documents/2340/20172/L0-0.1.0.tar]下载. == L1 解释器 == * 已完成 * 分离L12wam.py的词法分析成份为L1AST.py * 未作注视 * 版本 0.1.0 * 代码可从[http://pureprolog.tigris.org/files/documents/2340/20286/L1-0.1.0.tar]下载 == L2 解释器 == * 已完成 * 版本 0.1.0 * 调整了P和CP的实现, 增加寄存器类, 专门管理寄存器操作. * 代码可从[http://pureprolog.tigris.org/files/documents/2340/20286/L2-0.1.0.tar]下载 |
|
| Line 18: | Line 46: |
| = 相关链结 = * [http://christophe.delord.free.fr/en/pylog/index.html PyLog] * [http://www.logilab.org/projects/python-logic/ Python Logic SIG] --["jacobfan"] |
含有章节索引的中文 文章模板
-- hoxide [DateTime(2004-12-08T14:16:56Z)] TableOfContents
初步设想
- 项目: .net下的prolog编程环境.
- 计划: 实现wam到.net虚拟机的翻译, 实现prolog到wam的编译.
- 用prolog来写prolog的编译器
- 代码基础 GNU-Prolog
项目计划
- L0 解释器 (已完成)
- L1 解释器 (已完成)
- L2 解释器 (已完成)
- L3/PureProlog 解释器
- WAM调优
- Prolog嵌入技术(使用Python函数库和.net CLI).
项目进度
L0 解释器
- 已完成
- bind函数中未作occurs检查
- 未作注释
- 版本 0.1.0
代码可从[http://pureprolog.tigris.org/files/documents/2340/20172/L0-0.1.0.tar]下载.
L1 解释器
- 已完成
- 分离L12wam.py的词法分析成份为L1AST.py
- 未作注视
- 版本 0.1.0
代码可从[http://pureprolog.tigris.org/files/documents/2340/20286/L1-0.1.0.tar]下载
L2 解释器
- 已完成
- 版本 0.1.0
- 调整了P和CP的实现, 增加寄存器类, 专门管理寄存器操作.
代码可从[http://pureprolog.tigris.org/files/documents/2340/20286/L2-0.1.0.tar]下载
已有项目
相关链结
[http://christophe.delord.free.fr/en/pylog/index.html PyLog]
[http://www.logilab.org/projects/python-logic/ Python Logic SIG]
--["jacobfan"]
项目主页
http://pureprolog.tigris.org/ 已经得到批准．
- 目前工作学习WAM虚拟机, 用python实现之.