@ciao-lang/ts-ciao-interface

<!DOCTYPE HTML><html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><meta name="theme-color" content="#273f79"/><link rel="stylesheet" href="lpdoc.css" type="text/css"/><script type="text/javascript" src="lpdoc.js"></script><title>Association between key and value — The Ciao System v1.22</title></head><body><div class="lpdoc-page fixleftbar"><a href="#" id="sidebar-toggle-button" class="lpdoc-navbutton">☰</a><div id="sidebar" class="lpdoc-sidebar"><div style="height: 40px; margin-left: auto; margin-right: auto"><img src="ciao-logo_autofig.png" width=auto height=100%></div><div class="lpdoc-nav"><a class="lpdoc-navbutton" href="DataStructuresAlgs.html">↑</a><a class="lpdoc-navbutton" href="arrays.html">←</a><a class="lpdoc-navbutton" href="keys.html">→</a><a class="lpdoc-navbutton" href="ciaosearch.html">🔍</a><a href="ciaofulltoc.html">TOC</a></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciao.html">The Ciao System</a> » </li><li><a href="DataStructuresAlgs.html">PART VI - Data structures and algorithms</a> » </li><li><a href="">Association between key and value</a></li></ul><hr></hr>ON THIS PAGE<ul><li><a href="#Usage and interface">Usage and interface</a></li><li><a href="#Documentation on exports">Documentation on exports</a></li><li><a href="#Documentation on imports">Documentation on imports</a></li></ul></div><div class="lpdoc-main"><div id=""><h1>Association between key and value</h1><a class="lpdoc-idx-anchor" href="ciaosearch.html#assoc"></a> Author(s): <a class="lpdoc-idx-anchor" id="Pablo Chico" href="ciaosearch.html#Pablo Chico">Pablo Chico</a>, <a class="lpdoc-idx-anchor" id="Manuel Carro" href="ciaosearch.html#Manuel Carro">Manuel Carro</a>. This library implements a table. It takes its name from the classical "association lists". It allows storing a set of values and a key for each value, such that the values can later be accessed through these keys. These keys could not be ground terms, but they could not be instantiated later (so, this implementation unify with '==' instead of '='). The implementation uses a dynamically changing data structure for efficiency. When there are few elements the data structure used is a list of pairs. When the number of elements stored goes beyond some number, an AVL tree is used. There is a certain level of hysteresis so that no repeated data structure conversions occur when the number of elements is close to the threshold. <div id="Usage and interface"><h2>Usage and interface</h2><div class="lpdoc-cartouche"><ul><li>Library usage: <tt>:- use_module(library(assoc)).</tt><li>Exports: <ul class="lpdoc-itemize-minus"><li>Predicates: <a class="lpdoc-idx-anchor" id="0" href="#empty_assoc/1"><tt>empty_assoc/1</tt></a>, <a class="lpdoc-idx-anchor" id="1" href="#assoc_to_list/2"><tt>assoc_to_list/2</tt></a>, <a class="lpdoc-idx-anchor" id="2" href="#is_assoc/1"><tt>is_assoc/1</tt></a>, <a class="lpdoc-idx-anchor" id="3" href="#min_assoc/3"><tt>min_assoc/3</tt></a>, <a class="lpdoc-idx-anchor" id="4" href="#max_assoc/3"><tt>max_assoc/3</tt></a>, <a class="lpdoc-idx-anchor" id="5" href="#gen_assoc/3"><tt>gen_assoc/3</tt></a>, <a class="lpdoc-idx-anchor" id="6" href="#get_assoc/3"><tt>get_assoc/3</tt></a>, <a class="lpdoc-idx-anchor" id="7" href="#get_assoc/5"><tt>get_assoc/5</tt></a>, <a class="lpdoc-idx-anchor" id="8" href="#get_next_assoc/4"><tt>get_next_assoc/4</tt></a>, <a class="lpdoc-idx-anchor" id="9" href="#get_prev_assoc/4"><tt>get_prev_assoc/4</tt></a>, <a class="lpdoc-idx-anchor" id="10" href="#list_to_assoc/2"><tt>list_to_assoc/2</tt></a>, <a class="lpdoc-idx-anchor" id="11" href="#ord_list_to_assoc/2"><tt>ord_list_to_assoc/2</tt></a>, <a class="lpdoc-idx-anchor" id="12" href="#map_assoc/2"><tt>map_assoc/2</tt></a>, <a class="lpdoc-idx-anchor" id="13" href="#map_assoc/3"><tt>map_assoc/3</tt></a>, <a class="lpdoc-idx-anchor" id="14" href="#map/3"><tt>map/3</tt></a>, <a class="lpdoc-idx-anchor" id="15" href="hiordlib.html#foldr/4"><tt>foldr/4</tt></a>, <a class="lpdoc-idx-anchor" id="16" href="#put_assoc/4"><tt>put_assoc/4</tt></a>, <a class="lpdoc-idx-anchor" id="17" href="#put_assoc/5"><tt>put_assoc/5</tt></a>, <a class="lpdoc-idx-anchor" id="18" href="#add_assoc/4"><tt>add_assoc/4</tt></a>, <a class="lpdoc-idx-anchor" id="19" href="#update_assoc/5"><tt>update_assoc/5</tt></a>, <a class="lpdoc-idx-anchor" id="20" href="#del_assoc/4"><tt>del_assoc/4</tt></a>, <a class="lpdoc-idx-anchor" id="21" href="#del_min_assoc/4"><tt>del_min_assoc/4</tt></a>, <a class="lpdoc-idx-anchor" id="22" href="#del_max_assoc/4"><tt>del_max_assoc/4</tt></a>. </ul></ul></div></div><div id="Documentation on exports"><h2>Documentation on exports</h2><div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="empty_assoc/1" href="ciaosearch.html#empty_assoc/1">empty_assoc/1</a></div><div class="lpdoc-deftext">Usage 1:<tt>empty_assoc(Assoc)</tt> True if Assoc is an empty <tt>assoc_table</tt>.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="23" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="24" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. </ul>Usage 2:<tt>empty_assoc(Assoc)</tt> Assoc is an empty <tt>assoc_table</tt>.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="25" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Assoc is a free variable. (<a class="lpdoc-idx-anchor" id="26" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="assoc_to_list/2" href="ciaosearch.html#assoc_to_list/2">assoc_to_list/2</a></div><div class="lpdoc-deftext">Usage:<tt>assoc_to_list(Assoc,L)</tt> Transforms Assoc into L where each pair of L was a association in Assoc.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="27" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="28" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)L is a free variable. (<a class="lpdoc-idx-anchor" id="29" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="30" href="ciaosearch.html#ord_pairs/1"><tt>assoc:ord_pairs/1</tt></a>)L is a ordered list of elements of the form <tt>key</tt>-<tt>value</tt>. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="is_assoc/1" href="ciaosearch.html#is_assoc/1">is_assoc/1</a></div><div class="lpdoc-deftext">Usage:<tt>is_assoc(Assoc)</tt> True if Assoc is an <tt>assoc_table</tt>.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="31" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="32" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="min_assoc/3" href="ciaosearch.html#min_assoc/3">min_assoc/3</a></div><div class="lpdoc-deftext">Usage:<tt>min_assoc(Assoc,Key,Value)</tt> Key and Value are <tt>key</tt> and <tt>value</tt> of the element with the smallest <tt>key</tt> in Assoc.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="33" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="34" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Key is a free variable. (<a class="lpdoc-idx-anchor" id="35" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Value is a free variable. (<a class="lpdoc-idx-anchor" id="36" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="37" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)Key is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="38" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)Value is a valid value in a <tt>assoc_table</tt>. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="max_assoc/3" href="ciaosearch.html#max_assoc/3">max_assoc/3</a></div><div class="lpdoc-deftext">Usage:<tt>max_assoc(Assoc,Key,Value)</tt> Key and Value are the <tt>key</tt> and <tt>value</tt> of the element with the largest <tt>key</tt> in Assoc.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="39" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="40" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Key is a free variable. (<a class="lpdoc-idx-anchor" id="41" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Value is a free variable. (<a class="lpdoc-idx-anchor" id="42" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="43" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)Key is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="44" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)Value is a valid value in a <tt>assoc_table</tt>. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="gen_assoc/3" href="ciaosearch.html#gen_assoc/3">gen_assoc/3</a></div><div class="lpdoc-deftext">Usage 1:<tt>gen_assoc(K,Assoc,V)</tt> Enumerate matching elements of Assoc in ascending order of their keys via backtracking.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="45" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)K is a free variable. (<a class="lpdoc-idx-anchor" id="46" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="47" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)V is a free variable. (<a class="lpdoc-idx-anchor" id="48" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)K is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="49" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="50" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)V is a valid value in a <tt>assoc_table</tt>. </ul>Usage 2:<tt>gen_assoc(K,Assoc,V)</tt> Enumerate matching elements of Assoc in ascending order of their keys via backtracking whose value is V.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="51" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)K is a free variable. (<a class="lpdoc-idx-anchor" id="52" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="53" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)V is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="54" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)K is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="55" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="56" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)V is a valid value in a <tt>assoc_table</tt>. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="get_assoc/3" href="ciaosearch.html#get_assoc/3">get_assoc/3</a></div><div class="lpdoc-deftext">Usage 1:<tt>get_assoc(K,Assoc,V)</tt> True if V is the value associated to the key K in the assoc_table Assoc.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="57" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)K is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="58" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="59" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)V is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="60" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)K is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="61" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="62" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)V is a valid value in a <tt>assoc_table</tt>. </ul>Usage 2:<tt>get_assoc(K,Assoc,V)</tt> V is the value associated to the key K in the assoc_table Assoc.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="63" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)K is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="64" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="65" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)V is a free variable. (<a class="lpdoc-idx-anchor" id="66" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)K is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="67" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="68" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)V is a valid value in a <tt>assoc_table</tt>. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="get_assoc/5" href="ciaosearch.html#get_assoc/5">get_assoc/5</a></div><div class="lpdoc-deftext">Usage:<tt>get_assoc(K,Assoc,Old,NewAssoc,New)</tt> NewAssoc is an <tt>assoc_table</tt> identical to Assoc except that the value associated with Key is New instead of Old.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="69" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)K is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="70" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="71" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Old is a free variable. (<a class="lpdoc-idx-anchor" id="72" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)NewAssoc is a free variable. (<a class="lpdoc-idx-anchor" id="73" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)New is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="74" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)K is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="75" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="76" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)Old is a valid value in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="77" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)NewAssoc is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="78" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)New is a valid value in a <tt>assoc_table</tt>. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="get_next_assoc/4" href="ciaosearch.html#get_next_assoc/4">get_next_assoc/4</a></div><div class="lpdoc-deftext">Usage:<tt>get_next_assoc(K,Assoc,NextK,NextV)</tt> NextK and NextV are the next <tt>key</tt> and associated <tt>value</tt> after K in Assoc.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="79" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)K is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="80" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="81" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)NextK is a free variable. (<a class="lpdoc-idx-anchor" id="82" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)NextV is a free variable. (<a class="lpdoc-idx-anchor" id="83" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)K is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="84" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="85" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)NextK is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="86" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)NextV is a valid value in a <tt>assoc_table</tt>. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="get_prev_assoc/4" href="ciaosearch.html#get_prev_assoc/4">get_prev_assoc/4</a></div><div class="lpdoc-deftext">Usage:<tt>get_prev_assoc(K,Assoc,PrevK,PrevV)</tt> PrevK and PrevV are the previous <tt>key</tt> and associated <tt>value</tt> after K in Assoc.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="87" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)K is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="88" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="89" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)PrevK is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="90" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)PrevV is a valid value in a <tt>assoc_table</tt>. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="list_to_assoc/2" href="ciaosearch.html#list_to_assoc/2">list_to_assoc/2</a></div><div class="lpdoc-deftext">Usage:<tt>list_to_assoc(L,Assoc)</tt> Transforms L into Assoc where each pair of L will be a association in Assoc.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="91" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)L is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="92" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Assoc is a free variable. (<a class="lpdoc-idx-anchor" id="93" href="ciaosearch.html#pairs/1"><tt>assoc:pairs/1</tt></a>)L is a list of elements of the form <tt>key</tt>-<tt>value</tt>. (<a class="lpdoc-idx-anchor" id="94" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="ord_list_to_assoc/2" href="ciaosearch.html#ord_list_to_assoc/2">ord_list_to_assoc/2</a></div><div class="lpdoc-deftext">Usage:<tt>ord_list_to_assoc(L,Assoc)</tt> Transforms L, a list of pairs (using the functor <tt>-/2</tt>) sorted by its first element, into the table Assoc where each pair of L will become a association in Assoc.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="95" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)L is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="96" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Assoc is a free variable. (<a class="lpdoc-idx-anchor" id="97" href="ciaosearch.html#ord_pairs/1"><tt>assoc:ord_pairs/1</tt></a>)L is a ordered list of elements of the form <tt>key</tt>-<tt>value</tt>. (<a class="lpdoc-idx-anchor" id="98" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="map_assoc/2" href="ciaosearch.html#map_assoc/2">map_assoc/2</a></div><div class="lpdoc-deftext">Usage:<tt>map_assoc(Pred,Assoc)</tt> Assoc is an association tree, and for each Key, if Key is associated with Value in Assoc, Pred(Value) is true.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="99" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Pred is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="100" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. </ul> Meta-predicate with arguments: <tt>map_assoc(pred(1),?)</tt>. </div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="map_assoc/3" href="ciaosearch.html#map_assoc/3">map_assoc/3</a></div><div class="lpdoc-deftext">Usage:<tt>map_assoc(Pred,Assoc,NewAssoc)</tt> Assoc and NewAssoc are association trees of the same shape, and for each Key, if Key is associated with Old in Assoc and with new in NewAssoc, Pred(Old,New) is true.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="101" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Pred is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="102" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="103" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)NewAssoc is a free variable. </ul> Meta-predicate with arguments: <tt>map_assoc(pred(2),?,?)</tt>. </div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="map/3" href="ciaosearch.html#map/3">map/3</a></div><div class="lpdoc-deftext">Usage:<tt>map(Pred,Assoc1,Assoc2)</tt> Applies Pred with arity 3 to each value of the assoc_table Assoc1 obtaining the new assoc_table Assoc2 in which only the values can have changed.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="104" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Pred is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="105" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc1 is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="106" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Assoc2 is a free variable. </ul> Meta-predicate with arguments: <tt>map(pred(3),?,?)</tt>. </div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="foldr/4" href="ciaosearch.html#foldr/4">foldr/4</a></div><div class="lpdoc-deftext">Usage:<tt>foldr(Pred,Assoc,DS,NDS)</tt> Applies Pred with arity 4 to each value of the assoc_table Assoc. If Pred is satisfied, it updates the data-structure DS. Otherwise it fails.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="107" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Pred is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="108" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="109" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)DS is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="110" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)NDS is a free variable. </ul> Meta-predicate with arguments: <tt>foldr(pred(4),?,?,?)</tt>. </div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="put_assoc/4" href="ciaosearch.html#put_assoc/4">put_assoc/4</a></div><div class="lpdoc-deftext">Usage:<tt>put_assoc(K,Assoc,V,NewAssoc)</tt> The value V is inserted in Assoc associated to the key K and the result is NewAssoc. This can be used to insert and change associations.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="111" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)K is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="112" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="113" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)V is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="114" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)NewAssoc is a free variable. (<a class="lpdoc-idx-anchor" id="115" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)K is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="116" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="117" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)V is a valid value in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="118" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)NewAssoc is a associations beetwen keys and values. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="put_assoc/5" href="ciaosearch.html#put_assoc/5">put_assoc/5</a></div><div class="lpdoc-deftext">Usage:<tt>put_assoc(K,Assoc1,V,Assoc2,Member)</tt> The value V is inserted in Assoc1 associated to the key K and the result is Assoc2. If the key K doesn't belong to the Assoc1 then Member is unified with no. Otherwise, Assoc2 is the result of substituting the association K-OldValue by K-V and Member is unified with yes(OldValue).<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="119" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)K is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="120" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc1 is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="121" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)V is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="122" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Assoc2 is a free variable. (<a class="lpdoc-idx-anchor" id="123" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Member is a free variable. (<a class="lpdoc-idx-anchor" id="124" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)K is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="125" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc1 is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="126" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)V is a valid value in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="127" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc2 is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="128" href="ciaosearch.html#is_member/1"><tt>assoc:is_member/1</tt></a>)Member is no or yes(value). </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="add_assoc/4" href="ciaosearch.html#add_assoc/4">add_assoc/4</a></div><div class="lpdoc-deftext">Usage:<tt>add_assoc(K,Assoc1,V,Assoc2)</tt> This is similar to <a class="lpdoc-idx-anchor" id="129" href="ciaosearch.html#put_value/5"><tt>put_value/5</tt></a> but Key must not appear in Assoc1 (Member in put_value/5 is known to be no). An error is thrown otherwise.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="130" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)K is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="131" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc1 is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="132" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)V is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="133" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Assoc2 is a free variable. (<a class="lpdoc-idx-anchor" id="134" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)K is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="135" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc1 is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="136" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)V is a valid value in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="137" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc2 is a associations beetwen keys and values. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="update_assoc/5" href="ciaosearch.html#update_assoc/5">update_assoc/5</a></div><div class="lpdoc-deftext">Usage:<tt>update_assoc(K,Assoc1,V,Assoc2,OldVar)</tt> This is similar to <a class="lpdoc-idx-anchor" id="138" href="#put_assoc/5"><tt>put_assoc/5</tt></a> but Key must not appear in Assoc1 (Member in put_value/5 is known to be no). An error is thrown otherwise.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="139" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)K is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="140" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Assoc1 is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="141" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)V is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="142" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Assoc2 is a free variable. (<a class="lpdoc-idx-anchor" id="143" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)OldVar is a free variable. (<a class="lpdoc-idx-anchor" id="144" href="ciaosearch.html#key/1"><tt>assoc:key/1</tt></a>)K is a valid key in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="145" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc1 is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="146" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)V is a valid value in a <tt>assoc_table</tt>. (<a class="lpdoc-idx-anchor" id="147" href="ciaosearch.html#assoc_table/1"><tt>assoc:assoc_table/1</tt></a>)Assoc2 is a associations beetwen keys and values. (<a class="lpdoc-idx-anchor" id="148" href="ciaosearch.html#value/1"><tt>assoc:value/1</tt></a>)OldVar is a valid value in a <tt>assoc_table</tt>. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="del_assoc/4" href="ciaosearch.html#del_assoc/4">del_assoc/4</a></div><div class="lpdoc-deftext">Usage:<tt>del_assoc(K,Assoc1,V,Assoc2)</tt> Delete in Assoc1 the key K to give Assoc2. If the key K does not belong to the Assoc1 then Member is unified with no and Assoc1 and Assoc2 are unified. Oth