文件名称：Prolog.NET:来自CodePlex的R.Todd分叉的Prolog.NET
文件大小：21.34MB
文件格式：ZIP
更新时间：2024-06-13 17:21:09
HTML
Prolog.NET ========== 基于Warren抽象机（WAM）架构的Prolog基于.NET的实现。 （来自CodePlex的R. Todd分叉的Prolog.NET） 介绍 Prolog.NET是基于Warren抽象机（WAM）架构的基于CLI的（ECMA International 2006）Prolog解释器。 描述HD沃伦抽象机的原始论文由David HD Warren于1983年发表（Warren 1983）。 1991年，HassanAït-Kaci（Aït-Kaci1991）出版了一本书，阐明并扩展了本文的详细信息。 Prolog.NET在几个重要方面偏离了标准WAM体系结构。 最重要的是，它依赖于CLI提供的垃圾收集支持。 Prolog.NET不执行任何显式的内存管理。 所有变量，环境和选择点都驻留在CLI堆中。1为确保可以及时回收堆中的对象，当将变