##language:zh
'''
含有章节索引的中文 文章模板
'''

-- 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. (进行中...)
 * 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中将会全部解决.
 * 代码暂时不可用, 实验版本

= 已有项目 =
 * [[http://homepages.inf.ed.ac.uk/s0090668/|P#]] 

= 相关链结 =
 * [[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实现之.