Prolog：在列表中声明可以通过条件检索的键值对

Question

我正在尝试编写一个程序，该程序可以将世界状态（通过tuprolog Java接口）传递到tuprolog知识库中，以便检索相关输出。

我通过插入理论成功地做到了这一点：

worldState(fakeVar(this), anotherFakeVar(that)).

然后检查诸如：

stateAchieved :- worldState(fakeVar(this),_), write("state achieved!").

但是随着添加更多变量，这变得很麻烦。

有什么办法可以将原子列表传递到序言中以便以后检索？

我尝试使用dicts库，但是tuprolog似乎没有支持它。

谢谢。