我将Prolog的结果转换为PHP,我希望将其作为字符串($output
)发送到Android。
知道我必须写什么到Android?我应该更改我的PHP代码吗? 这是我的PHP代码:
<?php
$cmd = "\"c:/program files/swipl/bin/swipl.exe\" -f my_project.pl -g
\"prove([activity(X)],D),writeln(X),write(D),halt\"";
$output = shell_exec($cmd);
print_r($output);
?>
打印 print_r($output)
这个结果是正确的,是我想要的:
walk [nott(rec_walk),pr7,rec_walk,weatherrr(good),a3(walk)]