Differences between revisions 8 and 9
⇤ ← Revision 8 as of 2005-02-19 07:23:15 →
Size: 2271
Editor: hoxide
Comment: L3 实验版, 开始做完整的Prolog
← Revision 9 as of 2009-12-25 07:18:17 → ⇥
Size: 2283
Editor: localhost
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 28: 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 35: 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 41: 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 58:
 * [http://homepages.inf.ed.ac.uk/s0090668/ P#]  * [[http://homepages.inf.ed.ac.uk/s0090668/|P#]]
Line 61: 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]

Contents

  1. 初步设想
  2. 项目计划
  3. 项目进度
    1. L0 解释器
    2. L1 解释器
    3. L2 解释器
    4. L3 解释器
    5. L3 解释器
  4. 已有项目
  5. 相关链结
  6. 项目主页

初步设想

  • 项目: .net下的prolog编程环境.
  • 计划: 实现wam到.net虚拟机的翻译, 实现prolog到wam的编译.
  • 用prolog来写prolog的编译器
  • 代码基础 GNU-Prolog

项目计划

  • L0 解释器 (已完成)
  • L1 解释器 (已完成)
  • L2 解释器 (已完成)
  • L3/PureProlog 解释器 (已完成)
  • WAM调优, 完整的Prolog. (进行中...)
  • Prolog嵌入技术(使用Python函数库和.net CLI).

项目进度

L0 解释器

L1 解释器

L2 解释器

L3 解释器

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

L3 解释器

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

已有项目

相关链结

--jacobfan

项目主页

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