我对序言很陌生，并陷入困境。我需要在计算期间在变量中存储一些字符串，我决定通过在正在使用的类中添加“单个事实”来实现此目的。一切正常，字符串已存储，但是当我尝试添加代码以供以后访问时，编译器返回错误，"The expression has type 'dataBL::dataBL@objectDB', which is incompatible with the type '::symbol'".
我认为这不是存储变量的有效方法，因此，有人可以帮助我吗？我尝试在线搜索答案，但一无所获。
我正在尝试访问这样的事实：
getString(U) :-
U = stringStorage(_).
如果我理解正确，则需要存储value与某个变量ID（key）关联的事实。您任务的（抽象）解决方案可以将您的值存储为事实：
bind( Key, Value ).
实现示例（SWI Prolog）
储存
recordz('var1', "String value1"),
recordz('var2', "String value2")
查询var2的值
current_key(-Key),
Key = 'var2'
recorded(Key, Value)
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句