Differences between revisions 2 and 6 (spanning 4 versions)
⇤ ← Revision 2 as of 2005-01-28 04:00:51 →
Size: 930
Editor: hoxide
Comment:
← Revision 6 as of 2005-02-19 07:19:38 → ⇥
Size: 1914
Editor: hoxide
Comment:
Deletions are marked like this. Additions are marked like this.
Line 16: Line 16:
 * L1 解释器
 * L2 解释器
 * L3/PureProlog 解释器		  * L1 解释器 (已完成)
 * L2 解释器 (已完成)
 * L3/PureProlog 解释器 (已完成)
 * WAM调优
Line 29: Line 30:
== 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中将会全部解决.
 * 代码暂时不可用, 实验版本
Line 31: Line 52:

= 相关链结 =
 * [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 解释器

L1 解释器

L2 解释器

L3 解释器

  • 已完成, 并非完整
  • 版本 实验版本
  • 彻底修改STACK,HEAP,的实现, 使用专门的类进行管理, 考虑今后加入GC
  • P和CP的实现仍存在问题, 需要调用栈? 不清楚, 继续研究, 在真正的Porlog中将会全部解决.
  • 代码暂时不可用, 实验版本

已有项目

相关链结

--["jacobfan"]

项目主页

PureProlog (last edited 2009-12-25 07:18:17 by localhost)