prolog:减少然后写入谓词的值

Question

这是我正在编写的一些代码

assert(bar(foo)),
assert(foo(bar-5)),

我不确定它是否有效。我试图让它将 foo 减少 5。我需要一种方法来编写 foo 的值，但也没有找到方法。 write('foo is' + foo)对我来说是合乎逻辑的方式，但似乎不起作用。

Answer 1

为了能够使用事实的值(value)，您必须首先统一它。统一完成将未绑定(bind)的变量作为参数传递给谓词，— bar(Moo)在我们的例子中:

facts
    bar(integer)
    foo(integer)

goal
    assert(bar(42)),
    bar(Moo),
    Baz = Moo - 5,
    assert(foo(Baz)),
    write(Baz).