README

为 Symfony 2.3 提供的 Warren 抽象机

原始版本由 Stefan Büttcher 编写。
PHP 端口、PhpUnit 测试和用于 Symfony2.3 的包由 Florent Genette 编写。

版本 1.5

是什么？

Warren 抽象机（WAM）是 Prolog 的虚拟机（类似于 Java 的 JVM）。这个库旨在在 PHP 5.4 上运行，最好在 Symfony 2.3 上运行。Prolog 是一种逻辑语言，通过推理机解决问题。

此包使用我的独立 Prolog 库 trismegiste/wam-prolog

安装

$ composer.phar require trismegiste/prolog dev-master

使用 symfony 2.3 的 CLI

打开命令行界面并输入

php app/console wam:prolog:console

symfony 2.3 的服务

您可以在 PrologGuiController.php 中阅读。以下是一个示例

$machine = $this->get('prolog.wam');
$compiler = new Prolog\PrologCompiler($machine);
$code = $compiler->compile($prog);
$machine->addProgram($code);
$result = $machine->runQuery($query);

许可证

本作品提供 Creative Commons Attribution Share Alike 3.0 许可证。这意味着您必须保留我的姓名，并且必须以本许可证提供任何衍生作品。只要您遵循这些规则，您就可以用此赚钱。换句话说

licence(wam_bundle, cc_by_sa_3).
derivate_work_from(your_work, wam_bundle).
licence(X, L) :- derivate_work_from(X, Y), licence(Y, L).
price(wam_bundle, 0).
price(your_work, _).

贡献者

领导：Trismegiste

特别感谢

约翰·塞巴斯蒂安·巴赫
威廉·吉布森
吉恩·罗登贝里

trismegiste / prolog

维护者

详细信息