文件名称:chr-actr:在 CHR 中实施 ACT-R
文件大小:57KB
文件格式:ZIP
更新时间:2024-07-16 14:49:15
Prolog
CHR-ACT-R ACT-R 在 CHR 中的实现 有关实现的详细信息,请参阅我的硕士论文。 可以在目录 src/ 中找到这项工作中介绍的实现的源代码。 它分为两部分:编译器和框架。 • 编译器位于编译器目录中。 它可以通过查阅 SWI-Prolog 中的 actr2chr.pl 来启动。 查询 compile_file(f)。 编译文件 f. 编译器目录中有几个示例模型文件,它们都以前缀example_开头。 • 该框架可以在目录core 中找到。 要加载模型,必须在 SWI-Prolog 中查阅已编译的模型文件。 有几个编译的示例模型都以前缀 example_ 开头。 确保模型与框架位于同一文件夹中。 查询运行。 运行模型。
【文件预览】:
chr-actr-master
----todo.odt(19KB)
----src()
--------core()
--------compiler()
----LICENSE(1KB)
----README.md(863B)