|
Size: 2627
Comment:
|
← Revision 9 as of 2009-12-25 07:18:17 ⇥
Size: 2283
Comment: converted to 1.6 markup
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 6: | Line 6: |
| -- hoxide [[[DateTime(2004-12-08T14:16:56Z)]]] [[TableOfContents]] |
-- hoxide [<<DateTime(2004-12-08T14:16:56Z)>>] <<TableOfContents>> |
| Line 18: | Line 18: |
---- /!\ '''Edit conflict - other version:''' ---- * L3/PureProlog 解释器 (已完成) * WAM调优 ---- /!\ '''Edit conflict - your version:''' ---- |
|
| Line 26: | Line 20: |
---- /!\ '''End of edit conflict''' ---- |
|
| Line 36: | Line 28: |
| * 代码可从[http://pureprolog.tigris.org/files/documents/2340/20172/L0-0.1.0.tar]下载. | * 代码可从[[http://pureprolog.tigris.org/files/documents/2340/20172/L0-0.1.0.tar]]下载. |
| Line 43: | Line 35: |
| * 代码可从[http://pureprolog.tigris.org/files/documents/2340/20286/L1-0.1.0.tar]下载 | * 代码可从[[http://pureprolog.tigris.org/files/documents/2340/20286/L1-0.1.0.tar]]下载 |
| Line 49: | Line 41: |
| * 代码可从[http://pureprolog.tigris.org/files/documents/2340/20286/L2-0.1.0.tar]下载 | * 代码可从[[http://pureprolog.tigris.org/files/documents/2340/20286/L2-0.1.0.tar]]下载 |
| Line 58: | Line 50: |
---- /!\ '''Edit conflict - other version:''' ---- |
|
| Line 67: | Line 57: |
---- /!\ '''Edit conflict - your version:''' ---- ---- /!\ '''End of edit conflict''' ---- |
|
| Line 72: | Line 58: |
| * [http://homepages.inf.ed.ac.uk/s0090668/ P#] | * [[http://homepages.inf.ed.ac.uk/s0090668/|P#]] |
| Line 75: | Line 61: |
| * [http://christophe.delord.free.fr/en/pylog/index.html PyLog] * [http://www.logilab.org/projects/python-logic/ Python Logic SIG] --["jacobfan"] |
* [[http://christophe.delord.free.fr/en/pylog/index.html|PyLog]] * [[http://www.logilab.org/projects/python-logic/|Python Logic SIG]] --[[jacobfan]] |
含有章节索引的中文 文章模板
-- hoxide [2004-12-08 14:16:56]
初步设想
- 项目: .net下的prolog编程环境.
- 计划: 实现wam到.net虚拟机的翻译, 实现prolog到wam的编译.
- 用prolog来写prolog的编译器
- 代码基础 GNU-Prolog
项目计划
- L0 解释器 (已完成)
- L1 解释器 (已完成)
- L2 解释器 (已完成)
- L3/PureProlog 解释器 (已完成)
- WAM调优, 完整的Prolog. (进行中...)
- 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下载
L3 解释器
- 已完成, 并非完整
- 版本 实验版本
- 彻底修改STACK,HEAP,的实现, 使用专门的类进行管理, 考虑今后加入GC
- P和CP的实现仍存在问题, 需要调用栈? 不清楚, 继续研究, 在真正的Porlog中将会全部解决.
- 代码暂时不可用, 实验版本
L3 解释器
- 已完成, 并非完整
- 版本 实验版本
- 彻底修改STACK,HEAP,的实现, 使用专门的类进行管理, 考虑今后加入GC
- P和CP的实现仍存在问题, 需要调用栈? 不清楚, 继续研究, 在真正的Porlog中将会全部解决.
- 代码暂时不可用, 实验版本
已有项目
相关链结
--jacobfan
项目主页
http://pureprolog.tigris.org/ 已经得到批准．
- 目前工作学习WAM虚拟机, 用python实现之.