PHP 函数如何与 Prolog 交互

<?php

// 载入 Prolog 扩展

dl('swipl_php.so');

// 创建 Prolog 引擎

$engine = new PrologEngine();

// 咨询 Prolog 文件

$engine->consult('path/to/file.pl');

// 查询 Prolog 语句

$query = $engine->query('query');

// 迭代查询结果

foreach ($query->bindings() as $binding) {

    // 访问绑定变量

    echo $binding['variable'] . "\n";

}

<?php

// 载入扩展并创建引擎

dl('swipl_php.so');

$engine = new PrologEngine();

// 咨询知识库

$engine->consult('weather_knowledge.pl');

// 输入天气条件并查询

$query = $engine->query('weather(conditions, forecast)');

$query->bind('conditions', ['sunny', 'warm']);

// 打印预测

foreach ($query->bindings() as $binding) {

    echo "预测：" . $binding['forecast'] . "\n";

}