关联列表

在所有严肃的 Prolog 系统中,关联列表可用于比元素集合更快地线性访问。这些关联列表通常基于*平衡树,*如 AVL 树。有一个名为 library(assoc) 的公共域库,它附带了许多 Prolog 系统,并提供 O(log(N) 操作,用于插入,获取和更改元素到集合。