我正在Prolog中编写一个简单的程序安全检查程序，我需要一个数据结构来保存变量。由于我想检测我何时再次访问同一个状态，这个结构必须支持一些合理的比较语义，所以我可以在set中存储访问状态。
library(avl)具有方便的getter / setter接口。
问题是，持有相同映射的AVL可以采用多种形式。
因此，如果它们的AVL表示不同，则认为两个相同的状态是不同的。
在有序列表中保存映射的结构将没有此问题。但是，我在Sicstus docs中找不到类似的东西。是否有任何标准结构可以满足我的需求，或者我必须自己实现它？