含有章节索引的中文 文章模板

-- hoxide [2004-12-08 14:16:56]

1. 初步设想

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

2. 项目计划

  • L0 解释器 (已完成)
  • L1 解释器 (已完成)
  • L2 解释器 (已完成)
  • L3/PureProlog 解释器 (已完成)

  • WAM调优, 完整的Prolog. (进行中...)
  • Prolog嵌入技术(使用Python函数库和.net CLI).

3. 项目进度

3.1. L0 解释器

3.2. L1 解释器

3.3. L2 解释器

3.4. L3 解释器

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

3.5. L3 解释器

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

4. 已有项目

5. 相关链结

--jacobfan

6. 项目主页