prolog - 从事实中提取值(value)

Question

我是 prolog 的新手，被卡住了。我需要在计算过程中存储一个带有一些字符串的变量，我决定通过向我正在使用的类添加一个“单一事实”来做到这一点。一切正常，正在存储字符串，但是当我尝试添加代码以稍后访问它时，编译器返回错误 "The expression has type 'dataBL::dataBL@objectDB', which is incompatible with the输入“::symbol”。
我不认为这是存储变量的有效方法，所以，有人可以帮我吗？我尝试在网上搜索答案，但一无所获。

我正在尝试访问这样的事实:

    getString(U) :-
    U = stringStorage(_).

Answer 1

如果我没猜错，您需要存储一个与某些变量 ID (key) 关联的 value 作为事实。您的任务的(抽象)解决方案可以将您的值(value)观存储为事实:

绑定(bind)(键，值)。

实现示例(SWI Prolog)

存储

recordz('var1', "String value1"),

recordz('var2', "String value2")

查询 var2 的值

current_key(-Key), 

Key = 'var2'

recorded(Key, Value)