@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>etermsvar: eterms with variables (abstract domain) — The CiaoPP Program Processor v1.5</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="part_domains.html">↑</a><a class="lpdoc-navbutton" href="eterms.html">←</a><a class="lpdoc-navbutton" href="frdef.html">→</a><a class="lpdoc-navbutton" href="ciaopp_ref_mansearch.html">🔍</a><a href="ciaopp_ref_manfulltoc.html">TOC</a></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciaopp_ref_man.html">The CiaoPP Program Processor</a> » </li><li><a href="part_usage.html">PART I - Using CiaoPP</a> » </li><li><a href="part_domains.html">Available abstract domains</a> » </li><li><a href="">etermsvar: eterms with variables (abstract domain)</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 multifiles">Documentation on multifiles</a></li><li><a href="#Documentation on imports">Documentation on imports</a></li></ul></div><div class="lpdoc-main"><div id=""><h1>etermsvar: eterms with variables (abstract domain)</h1><a class="lpdoc-idx-anchor" href="ciaopp_ref_mansearch.html#etermsvar"></a> Author(s): <a class="lpdoc-idx-anchor" id="Claudio Vaucheret" href="ciaopp_ref_mansearch.html#Claudio Vaucheret">Claudio Vaucheret</a>, <a class="lpdoc-idx-anchor" id="Francisco Bueno" href="ciaopp_ref_mansearch.html#Francisco Bueno">Francisco Bueno</a>, <a class="lpdoc-idx-anchor" id="Alejandro Serrano" href="ciaopp_ref_mansearch.html#Alejandro Serrano">Alejandro Serrano (etermsvar)</a>, <a class="lpdoc-idx-anchor" id="Ciao Development Team" href="ciaopp_ref_mansearch.html#Ciao Development Team">Ciao Development Team</a>. This module implements an (experimental) variant of the <a class="lpdoc-idx-anchor" id="0" href="eterms.html"><tt>eterms</tt></a> domain with <tt>vr</tt> elements in the lattice. <div id="Usage and interface"><h2>Usage and interface</h2><div class="lpdoc-cartouche"><ul><li>Library usage: <tt>:- use_module(domain(etermsvar)).</tt><li>Exports: <ul class="lpdoc-itemize-minus"><li>Predicates: <a class="lpdoc-idx-anchor" id="1" href="#etermsvar_init_abstract_domain/1"><tt>etermsvar_init_abstract_domain/1</tt></a>, <a class="lpdoc-idx-anchor" id="2" href="#etermsvar_compute_lub/2"><tt>etermsvar_compute_lub/2</tt></a>, <a class="lpdoc-idx-anchor" id="3" href="#etermsvar_compute_lub_el/3"><tt>etermsvar_compute_lub_el/3</tt></a>, <a class="lpdoc-idx-anchor" id="4" href="#etermsvar_widencall/3"><tt>etermsvar_widencall/3</tt></a>, <a class="lpdoc-idx-anchor" id="5" href="#etermsvar_needs/1"><tt>etermsvar_needs/1</tt></a>, <a class="lpdoc-idx-anchor" id="6" href="#etermsvar_widen/3"><tt>etermsvar_widen/3</tt></a>, <a class="lpdoc-idx-anchor" id="7" href="#etermsvar_call_to_entry/9"><tt>etermsvar_call_to_entry/9</tt></a>, <a class="lpdoc-idx-anchor" id="8" href="#etermsvar_exit_to_prime/7"><tt>etermsvar_exit_to_prime/7</tt></a>, <a class="lpdoc-idx-anchor" id="9" href="#etermsvar_project/5"><tt>etermsvar_project/5</tt></a>, <a class="lpdoc-idx-anchor" id="10" href="#etermsvar_abs_sort/2"><tt>etermsvar_abs_sort/2</tt></a>, <a class="lpdoc-idx-anchor" id="11" href="#etermsvar_extend/5"><tt>etermsvar_extend/5</tt></a>, <a class="lpdoc-idx-anchor" id="12" href="#etermsvar_less_or_equal/2"><tt>etermsvar_less_or_equal/2</tt></a>, <a class="lpdoc-idx-anchor" id="13" href="#etermsvar_glb/3"><tt>etermsvar_glb/3</tt></a>, <a class="lpdoc-idx-anchor" id="14" href="#etermsvar_concrete/3"><tt>etermsvar_concrete/3</tt></a>, <a class="lpdoc-idx-anchor" id="15" href="#etermsvar_unknown_entry/3"><tt>etermsvar_unknown_entry/3</tt></a>, <a class="lpdoc-idx-anchor" id="16" href="#etermsvar_empty_entry/3"><tt>etermsvar_empty_entry/3</tt></a>, <a class="lpdoc-idx-anchor" id="17" href="#etermsvar_unknown_call/4"><tt>etermsvar_unknown_call/4</tt></a>, <a class="lpdoc-idx-anchor" id="18" href="#etermsvar_call_to_success_fact/9"><tt>etermsvar_call_to_success_fact/9</tt></a>, <a class="lpdoc-idx-anchor" id="19" href="#etermsvar_special_builtin/5"><tt>etermsvar_special_builtin/5</tt></a>, <a class="lpdoc-idx-anchor" id="20" href="#etermsvar_success_builtin/6"><tt>etermsvar_success_builtin/6</tt></a>, <a class="lpdoc-idx-anchor" id="21" href="#etermsvar_arg_call_to_success/9"><tt>etermsvar_arg_call_to_success/9</tt></a>, <a class="lpdoc-idx-anchor" id="22" href="#etermsvar_call_to_success_builtin/6"><tt>etermsvar_call_to_success_builtin/6</tt></a>, <a class="lpdoc-idx-anchor" id="23" href="#etermsvar_obtain_info/4"><tt>etermsvar_obtain_info/4</tt></a>, <a class="lpdoc-idx-anchor" id="24" href="#etermsvar_input_user_interface/5"><tt>etermsvar_input_user_interface/5</tt></a>, <a class="lpdoc-idx-anchor" id="25" href="#etermsvar_input_interface/4"><tt>etermsvar_input_interface/4</tt></a>, <a class="lpdoc-idx-anchor" id="26" href="#etermsvar_asub_to_native/5"><tt>etermsvar_asub_to_native/5</tt></a>, <a class="lpdoc-idx-anchor" id="27" href="#etermsvar_output_interface/2"><tt>etermsvar_output_interface/2</tt></a>, <a class="lpdoc-idx-anchor" id="28" href="#etermsvar_collect_auxinfo_asub/3"><tt>etermsvar_collect_auxinfo_asub/3</tt></a>, <a class="lpdoc-idx-anchor" id="29" href="#etermsvar_rename_auxinfo_asub/3"><tt>etermsvar_rename_auxinfo_asub/3</tt></a>, <a class="lpdoc-idx-anchor" id="30" href="#etermsvar_identical_abstract/2"><tt>etermsvar_identical_abstract/2</tt></a>, <a class="lpdoc-idx-anchor" id="31" href="#etermsvar_multi_part_conc/3"><tt>etermsvar_multi_part_conc/3</tt></a>, <a class="lpdoc-idx-anchor" id="32" href="#etermsvar_part_conc/4"><tt>etermsvar_part_conc/4</tt></a>. <li>Multifiles: <a class="lpdoc-idx-anchor" id="33" href="auto_interface.html#aidomain/1"><tt>aidomain/1</tt></a>, <a class="lpdoc-idx-anchor" id="34" href="aeq.html#aidom.init_abstract_domain/2"><tt>aidom.init_abstract_domain/2</tt></a>, <a class="lpdoc-idx-anchor" id="35" href="aeq.html#aidom.amgu/5"><tt>aidom.amgu/5</tt></a>, <a class="lpdoc-idx-anchor" id="36" href="aeq.html#aidom.augment_asub/4"><tt>aidom.augment_asub/4</tt></a>, <a class="lpdoc-idx-anchor" id="37" href="aeq.html#aidom.augment_two_asub/4"><tt>aidom.augment_two_asub/4</tt></a>, <a class="lpdoc-idx-anchor" id="38" href="aeq.html#aidom.call_to_entry/10"><tt>aidom.call_to_entry/10</tt></a>, <a class="lpdoc-idx-anchor" id="39" href="aeq.html#aidom.exit_to_prime/8"><tt>aidom.exit_to_prime/8</tt></a>, <a class="lpdoc-idx-anchor" id="40" href="aeq.html#aidom.project/6"><tt>aidom.project/6</tt></a>, <a class="lpdoc-idx-anchor" id="41" href="aeq.html#aidom.widencall/4"><tt>aidom.widencall/4</tt></a>, <a class="lpdoc-idx-anchor" id="42" href="aeq.html#aidom.needs/2"><tt>aidom.needs/2</tt></a>, <a class="lpdoc-idx-anchor" id="43" href="aeq.html#aidom.widen/4"><tt>aidom.widen/4</tt></a>, <a class="lpdoc-idx-anchor" id="44" href="aeq.html#aidom.compute_lub/3"><tt>aidom.compute_lub/3</tt></a>, <a class="lpdoc-idx-anchor" id="45" href="aeq.html#aidom.compute_clauses_lub/4"><tt>aidom.compute_clauses_lub/4</tt></a>, <a class="lpdoc-idx-anchor" id="46" href="aeq.html#aidom.compute_clauses_glb/4"><tt>aidom.compute_clauses_glb/4</tt></a>, <a class="lpdoc-idx-anchor" id="47" href="aeq.html#aidom.fixpoint_covered/3"><tt>aidom.fixpoint_covered/3</tt></a>, <a class="lpdoc-idx-anchor" id="48" href="aeq.html#aidom.fixpoint_covered_gfp/3"><tt>aidom.fixpoint_covered_gfp/3</tt></a>, <a class="lpdoc-idx-anchor" id="49" href="aeq.html#aidom.identical_abstract/3"><tt>aidom.identical_abstract/3</tt></a>, <a class="lpdoc-idx-anchor" id="50" href="aeq.html#aidom.abs_sort/3"><tt>aidom.abs_sort/3</tt></a>, <a class="lpdoc-idx-anchor" id="51" href="aeq.html#aidom.extend/6"><tt>aidom.extend/6</tt></a>, <a class="lpdoc-idx-anchor" id="52" href="aeq.html#aidom.less_or_equal/3"><tt>aidom.less_or_equal/3</tt></a>, <a class="lpdoc-idx-anchor" id="53" href="aeq.html#aidom.glb/4"><tt>aidom.glb/4</tt></a>, <a class="lpdoc-idx-anchor" id="54" href="aeq.html#aidom.eliminate_equivalent/3"><tt>aidom.eliminate_equivalent/3</tt></a>, <a class="lpdoc-idx-anchor" id="55" href="aeq.html#aidom.abs_subset/3"><tt>aidom.abs_subset/3</tt></a>, <a class="lpdoc-idx-anchor" id="56" href="aeq.html#aidom.call_to_success_fact/10"><tt>aidom.call_to_success_fact/10</tt></a>, <a class="lpdoc-idx-anchor" id="57" href="aeq.html#aidom.special_builtin/6"><tt>aidom.special_builtin/6</tt></a>, <a class="lpdoc-idx-anchor" id="58" href="aeq.html#aidom.combined_special_builtin0/3"><tt>aidom.combined_special_builtin0/3</tt></a>, <a class="lpdoc-idx-anchor" id="59" href="aeq.html#aidom.body_succ_builtin/9"><tt>aidom.body_succ_builtin/9</tt></a>, <a class="lpdoc-idx-anchor" id="60" href="aeq.html#aidom.split_combined_domain/4"><tt>aidom.split_combined_domain/4</tt></a>, <a class="lpdoc-idx-anchor" id="61" href="aeq.html#aidom.success_builtin/7"><tt>aidom.success_builtin/7</tt></a>, <a class="lpdoc-idx-anchor" id="62" href="aeq.html#aidom.call_to_success_builtin/7"><tt>aidom.call_to_success_builtin/7</tt></a>, <a class="lpdoc-idx-anchor" id="63" href="aeq.html#aidom.obtain_info/5"><tt>aidom.obtain_info/5</tt></a>, <a class="lpdoc-idx-anchor" id="64" href="aeq.html#aidom.input_interface/5"><tt>aidom.input_interface/5</tt></a>, <a class="lpdoc-idx-anchor" id="65" href="aeq.html#aidom.input_user_interface/6"><tt>aidom.input_user_interface/6</tt></a>, <a class="lpdoc-idx-anchor" id="66" href="aeq.html#aidom.asub_to_native/6"><tt>aidom.asub_to_native/6</tt></a>, <a class="lpdoc-idx-anchor" id="67" href="aeq.html#aidom.concrete/4"><tt>aidom.concrete/4</tt></a>, <a class="lpdoc-idx-anchor" id="68" href="aeq.html#aidom.unknown_call/5"><tt>aidom.unknown_call/5</tt></a>, <a class="lpdoc-idx-anchor" id="69" href="aeq.html#aidom.unknown_entry/4"><tt>aidom.unknown_entry/4</tt></a>, <a class="lpdoc-idx-anchor" id="70" href="aeq.html#aidom.empty_entry/4"><tt>aidom.empty_entry/4</tt></a>, <a class="lpdoc-idx-anchor" id="71" href="aeq.html#aidom.part_conc/5"><tt>aidom.part_conc/5</tt></a>, <a class="lpdoc-idx-anchor" id="72" href="aeq.html#aidom.multi_part_conc/4"><tt>aidom.multi_part_conc/4</tt></a>, <a class="lpdoc-idx-anchor" id="73" href="aeq.html#aidom.collect_auxinfo_asub/4"><tt>aidom.collect_auxinfo_asub/4</tt></a>, <a class="lpdoc-idx-anchor" id="74" href="aeq.html#aidom.rename_auxinfo_asub/4"><tt>aidom.rename_auxinfo_asub/4</tt></a>, <a class="lpdoc-idx-anchor" id="75" href="aeq.html#aidom.dom_statistics/2"><tt>aidom.dom_statistics/2</tt></a>, <a class="lpdoc-idx-anchor" id="76" href="aeq.html#aidom.contains_parameters/2"><tt>aidom.contains_parameters/2</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="etermsvar_init_abstract_domain/1" href="ciaopp_ref_mansearch.html#etermsvar_init_abstract_domain/1">etermsvar_init_abstract_domain/1</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_compute_lub/2" href="ciaopp_ref_mansearch.html#etermsvar_compute_lub/2">etermsvar_compute_lub/2</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_compute_lub(ListASub,Lub)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="77" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)ListASub is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="78" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Lub is a free variable. (<a class="lpdoc-idx-anchor" id="79" href="basic_props.html#list/2"><tt>list/2</tt></a>)ListASub is a list of absus. (<a class="lpdoc-idx-anchor" id="80" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Lub is an abstract substitution </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_compute_lub_el/3" href="ciaopp_ref_mansearch.html#etermsvar_compute_lub_el/3">etermsvar_compute_lub_el/3</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_widencall/3" href="ciaopp_ref_mansearch.html#etermsvar_widencall/3">etermsvar_widencall/3</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_needs/1" href="ciaopp_ref_mansearch.html#etermsvar_needs/1">etermsvar_needs/1</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_widen/3" href="ciaopp_ref_mansearch.html#etermsvar_widen/3">etermsvar_widen/3</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_widen(Prime0,Prime1,NewPrime)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="81" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Prime0 is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="82" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Prime1 is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="83" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)NewPrime is a free variable. (<a class="lpdoc-idx-anchor" id="84" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Prime0 is an abstract substitution (<a class="lpdoc-idx-anchor" id="85" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Prime1 is an abstract substitution (<a class="lpdoc-idx-anchor" id="86" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)NewPrime is an abstract substitution </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_call_to_entry/9" href="ciaopp_ref_mansearch.html#etermsvar_call_to_entry/9">etermsvar_call_to_entry/9</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_call_to_entry(Sv,Sg,Hv,Head,K,Fv,Proj,Entry,ExtraInfo)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="87" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sv is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="88" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sg is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="89" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Hv is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="90" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Head is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="91" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)K is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="92" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Fv is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="93" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Proj is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="94" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Entry is a free variable. (<a class="lpdoc-idx-anchor" id="95" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)ExtraInfo is a free variable. (<a class="lpdoc-idx-anchor" id="96" href="basic_props.html#term/1"><tt>term/1</tt></a>)Sv is any term. (<a class="lpdoc-idx-anchor" id="97" href="basic_props.html#cgoal/1"><tt>cgoal/1</tt></a>)Sg is a term which represents a goal, i.e., an atom or a structure. (<a class="lpdoc-idx-anchor" id="98" href="basic_props.html#list/1"><tt>list/1</tt></a>)Hv is a list. (<a class="lpdoc-idx-anchor" id="99" href="basic_props.html#cgoal/1"><tt>cgoal/1</tt></a>)Head is a term which represents a goal, i.e., an atom or a structure. (<a class="lpdoc-idx-anchor" id="100" href="basic_props.html#term/1"><tt>term/1</tt></a>)K is any term. (<a class="lpdoc-idx-anchor" id="101" href="basic_props.html#list/1"><tt>list/1</tt></a>)Fv is a list. (<a class="lpdoc-idx-anchor" id="102" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Proj is an abstract substitution (<a class="lpdoc-idx-anchor" id="103" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Entry is an abstract substitution (<a class="lpdoc-idx-anchor" id="105" href="gr.html#extrainfo/1"><tt>extrainfo/1</tt></a>)<a class="lpdoc-idx-anchor" id="104" href="ciaopp_ref_mansearch.html#extrainfo(ExtraInfo)"><tt>extrainfo(ExtraInfo)</tt></a> </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_exit_to_prime/7" href="ciaopp_ref_mansearch.html#etermsvar_exit_to_prime/7">etermsvar_exit_to_prime/7</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_exit_to_prime(Sg,Hv,Head,Sv,Exit,ExtraInfo,Prime)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="106" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sg is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="107" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Hv is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="108" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Head is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="109" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sv is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="110" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Exit is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="111" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)ExtraInfo is a free variable. (<a class="lpdoc-idx-anchor" id="112" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Prime is a free variable. (<a class="lpdoc-idx-anchor" id="113" href="basic_props.html#list/1"><tt>list/1</tt></a>)Sg is a list. (<a class="lpdoc-idx-anchor" id="114" href="basic_props.html#list/1"><tt>list/1</tt></a>)Hv is a list. (<a class="lpdoc-idx-anchor" id="115" href="basic_props.html#cgoal/1"><tt>cgoal/1</tt></a>)Head is a term which represents a goal, i.e., an atom or a structure. (<a class="lpdoc-idx-anchor" id="116" href="basic_props.html#cgoal/1"><tt>cgoal/1</tt></a>)Sv is a term which represents a goal, i.e., an atom or a structure. (<a class="lpdoc-idx-anchor" id="117" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Exit is an abstract substitution (<a class="lpdoc-idx-anchor" id="119" href="gr.html#extrainfo/1"><tt>extrainfo/1</tt></a>)<a class="lpdoc-idx-anchor" id="118" href="ciaopp_ref_mansearch.html#extrainfo(ExtraInfo)"><tt>extrainfo(ExtraInfo)</tt></a> (<a class="lpdoc-idx-anchor" id="120" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Prime is an abstract substitution </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_project/5" href="ciaopp_ref_mansearch.html#etermsvar_project/5">etermsvar_project/5</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_project(Sg,Vars,HvFv_u,Asub,Proj)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="121" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sg is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="122" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Vars is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="123" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)HvFv_u is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="124" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Asub is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="125" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Proj is a free variable. (<a class="lpdoc-idx-anchor" id="126" href="basic_props.html#term/1"><tt>term/1</tt></a>)Sg is any term. (<a class="lpdoc-idx-anchor" id="127" href="basic_props.html#list/1"><tt>list/1</tt></a>)Vars is a list. (<a class="lpdoc-idx-anchor" id="128" href="basic_props.html#list/1"><tt>list/1</tt></a>)HvFv_u is a list. (<a class="lpdoc-idx-anchor" id="129" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Asub is an abstract substitution (<a class="lpdoc-idx-anchor" id="130" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Proj is an abstract substitution </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_abs_sort/2" href="ciaopp_ref_mansearch.html#etermsvar_abs_sort/2">etermsvar_abs_sort/2</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_abs_sort(Asub,Asub_s)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="131" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Asub is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="132" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Asub_s is a free variable. (<a class="lpdoc-idx-anchor" id="133" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Asub is an abstract substitution (<a class="lpdoc-idx-anchor" id="134" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Asub_s is an abstract substitution </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_extend/5" href="ciaopp_ref_mansearch.html#etermsvar_extend/5">etermsvar_extend/5</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_extend(Sg,Prime,Sv,Call,Succ)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="135" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sg is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="136" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Prime is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="137" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sv is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="138" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Call is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="139" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Succ is a free variable. (<a class="lpdoc-idx-anchor" id="140" href="basic_props.html#term/1"><tt>term/1</tt></a>)Sg is any term. (<a class="lpdoc-idx-anchor" id="141" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Prime is an abstract substitution (<a class="lpdoc-idx-anchor" id="142" href="basic_props.html#list/1"><tt>list/1</tt></a>)Sv is a list. (<a class="lpdoc-idx-anchor" id="143" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Call is an abstract substitution (<a class="lpdoc-idx-anchor" id="144" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Succ is an abstract substitution </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_less_or_equal/2" href="ciaopp_ref_mansearch.html#etermsvar_less_or_equal/2">etermsvar_less_or_equal/2</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_less_or_equal(ASub0,ASub1)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="145" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)ASub0 is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="146" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)ASub1 is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="147" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)ASub0 is an abstract substitution (<a class="lpdoc-idx-anchor" id="148" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)ASub1 is an abstract substitution </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_glb/3" href="ciaopp_ref_mansearch.html#etermsvar_glb/3">etermsvar_glb/3</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_glb(ASub0,ASub1,Glb)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="149" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)ASub0 is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="150" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)ASub1 is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="151" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Glb is a free variable. (<a class="lpdoc-idx-anchor" id="152" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)ASub0 is an abstract substitution (<a class="lpdoc-idx-anchor" id="153" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)ASub1 is an abstract substitution (<a class="lpdoc-idx-anchor" id="154" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Glb is an abstract substitution </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_concrete/3" href="ciaopp_ref_mansearch.html#etermsvar_concrete/3">etermsvar_concrete/3</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_unknown_entry/3" href="ciaopp_ref_mansearch.html#etermsvar_unknown_entry/3">etermsvar_unknown_entry/3</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_unknown_entry(Sg,Qv,Call)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="155" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sg is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="156" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Qv is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="157" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Call is a free variable. (<a class="lpdoc-idx-anchor" id="158" href="basic_props.html#cgoal/1"><tt>cgoal/1</tt></a>)Sg is a term which represents a goal, i.e., an atom or a structure. (<a class="lpdoc-idx-anchor" id="159" href="basic_props.html#list/1"><tt>list/1</tt></a>)Qv is a list. (<a class="lpdoc-idx-anchor" id="160" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Call is an abstract substitution </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_empty_entry/3" href="ciaopp_ref_mansearch.html#etermsvar_empty_entry/3">etermsvar_empty_entry/3</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_empty_entry(Sg,Vars,Entry)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="161" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sg is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="162" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Vars is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="163" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Entry is a free variable. (<a class="lpdoc-idx-anchor" id="164" href="basic_props.html#cgoal/1"><tt>cgoal/1</tt></a>)Sg is a term which represents a goal, i.e., an atom or a structure. (<a class="lpdoc-idx-anchor" id="165" href="basic_props.html#list/1"><tt>list/1</tt></a>)Vars is a list. (<a class="lpdoc-idx-anchor" id="166" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Entry is an abstract substitution </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_unknown_call/4" href="ciaopp_ref_mansearch.html#etermsvar_unknown_call/4">etermsvar_unknown_call/4</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_unknown_call(Sg,Vars,Call,Succ)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="167" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sg is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="168" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Vars is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="169" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Call is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="170" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Succ is a free variable. (<a class="lpdoc-idx-anchor" id="171" href="basic_props.html#cgoal/1"><tt>cgoal/1</tt></a>)Sg is a term which represents a goal, i.e., an atom or a structure. (<a class="lpdoc-idx-anchor" id="172" href="basic_props.html#list/1"><tt>list/1</tt></a>)Vars is a list. (<a class="lpdoc-idx-anchor" id="173" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Call is an abstract substitution (<a class="lpdoc-idx-anchor" id="174" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Succ is an abstract substitution </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_call_to_success_fact/9" href="ciaopp_ref_mansearch.html#etermsvar_call_to_success_fact/9">etermsvar_call_to_success_fact/9</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_call_to_success_fact(Sg,Hv,Head,K,Sv,Call,Proj,Prime,Succ)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="175" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sg is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="176" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Hv is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="177" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Head is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="178" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)K is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="179" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sv is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="180" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Call is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="181" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Proj is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="182" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Prime is a free variable. (<a class="lpdoc-idx-anchor" id="183" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Succ is a free variable. (<a class="lpdoc-idx-anchor" id="184" href="basic_props.html#cgoal/1"><tt>cgoal/1</tt></a>)Sg is a term which represents a goal, i.e., an atom or a structure. (<a class="lpdoc-idx-anchor" id="185" href="basic_props.html#list/1"><tt>list/1</tt></a>)Hv is a list. (<a class="lpdoc-idx-anchor" id="186" href="basic_props.html#cgoal/1"><tt>cgoal/1</tt></a>)Head is a term which represents a goal, i.e., an atom or a structure. (<a class="lpdoc-idx-anchor" id="187" href="basic_props.html#term/1"><tt>term/1</tt></a>)K is any term. (<a class="lpdoc-idx-anchor" id="188" href="basic_props.html#list/1"><tt>list/1</tt></a>)Sv is a list. (<a class="lpdoc-idx-anchor" id="189" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Call is an abstract substitution (<a class="lpdoc-idx-anchor" id="190" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Proj is an abstract substitution (<a class="lpdoc-idx-anchor" id="191" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Prime is an abstract substitution (<a class="lpdoc-idx-anchor" id="192" href="ciaopp_ref_mansearch.html#absu/1"><tt>absu/1</tt></a>)Succ is an abstract substitution </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_special_builtin/5" href="ciaopp_ref_mansearch.html#etermsvar_special_builtin/5">etermsvar_special_builtin/5</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_special_builtin(SgKey,Sg,Subgoal,Type,Condvars)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="193" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)SgKey is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="194" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sg is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="195" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Subgoal is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="196" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Type is a free variable. (<a class="lpdoc-idx-anchor" id="197" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Condvars is a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_success_builtin/6" href="ciaopp_ref_mansearch.html#etermsvar_success_builtin/6">etermsvar_success_builtin/6</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_success_builtin(Type,Sv_uns,Condvars,HvFv_u,Call,Succ)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="198" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Type is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="199" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sv_uns is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="200" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Condvars is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="201" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)HvFv_u is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="202" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Call is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="203" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Succ is a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_arg_call_to_success/9" href="ciaopp_ref_mansearch.html#etermsvar_arg_call_to_success/9">etermsvar_arg_call_to_success/9</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="etermsvar_call_to_success_builtin/6" href="ciaopp_ref_mansearch.html#etermsvar_call_to_success_builtin/6">etermsvar_call_to_success_builtin/6</a></div><div class="lpdoc-deftext">Usage:<tt>etermsvar_call_to_success_builtin(SgKey,Sg,Sv,Call,Proj,Succ)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: <span class="lpdoc-