@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>Basic term manipulation — 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="BasicLang.html">↑</a><a class="lpdoc-navbutton" href="term_typing.html">←</a><a class="lpdoc-navbutton" href="term_compare.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="BasicLang.html">PART II - The Ciao basic language</a> » </li><li><a href="">Basic term manipulation</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>Basic term manipulation</h1><a class="lpdoc-idx-anchor" href="ciaosearch.html#term_basic"></a> Author(s): <a class="lpdoc-idx-anchor" id="Daniel Cabeza" href="ciaosearch.html#Daniel Cabeza">Daniel Cabeza</a>, <a class="lpdoc-idx-anchor" id="Manuel Hermenegildo" href="ciaosearch.html#Manuel Hermenegildo">Manuel Hermenegildo</a>. This module provides basic term manipulation. <div id="Usage and interface"><h2>Usage and interface</h2><div class="lpdoc-cartouche"><ul><li>Library usage: This module is imported by default (unless the <a class="lpdoc-idx-anchor" id="0" href="noprelude_doc.html"><tt>noprelude</tt></a> or <a class="lpdoc-idx-anchor" id="1" href="pure_doc.html"><tt>pure</tt></a> packages are used). <li>Exports: <ul class="lpdoc-itemize-minus"><li>Predicates: <a class="lpdoc-idx-anchor" id="2" href="#\=/2"><tt>\=/2</tt></a>, <a class="lpdoc-idx-anchor" id="3" href="#arg/3"><tt>arg/3</tt></a>, <a class="lpdoc-idx-anchor" id="4" href="#functor/3"><tt>functor/3</tt></a>, <a class="lpdoc-idx-anchor" id="5" href="#=../2"><tt>=../2</tt></a>, <a class="lpdoc-idx-anchor" id="6" href="#copy_term/2"><tt>copy_term/2</tt></a>, <a class="lpdoc-idx-anchor" id="7" href="#copy_term_nat/2"><tt>copy_term_nat/2</tt></a>, <a class="lpdoc-idx-anchor" id="8" href="#C/3"><tt>C/3</tt></a>, <a class="lpdoc-idx-anchor" id="9" href="#cyclic_term/1"><tt>cyclic_term/1</tt></a>. <li>Properties: <a class="lpdoc-idx-anchor" id="10" href="#=/2"><tt>=/2</tt></a>, <a class="lpdoc-idx-anchor" id="11" href="#const_head/1"><tt>const_head/1</tt></a>. <li>Regular Types: <a class="lpdoc-idx-anchor" id="12" href="#list_functor/1"><tt>list_functor/1</tt></a>, <a class="lpdoc-idx-anchor" id="13" href="#non_empty_list/1"><tt>non_empty_list/1</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="=/2" href="ciaosearch.html#=/2">=/2</a></div><div class="lpdoc-deftext"><tt>X=Y</tt> X and Y unify.<ul class="lpdoc-itemize-minus"><li>The following properties hold globally: (<a class="lpdoc-idx-anchor" id="14" href="basic_props.html#sideff/2"><tt>basic_props:sideff/2</tt></a>)X=Y is side-effect free. (<a class="lpdoc-idx-anchor" id="15" href="basic_props.html#native/1"><tt>basic_props:native/1</tt></a>)This predicate is understood natively by CiaoPP. (<a class="lpdoc-idx-anchor" id="16" href="basic_props.html#eval/1"><tt>basic_props:eval/1</tt></a>)X=Y is evaluable at compile-time. (<a class="lpdoc-idx-anchor" id="17" href="native_props_nfdet_doc.html#is_det/1"><tt>native_props:is_det/1</tt></a>)All calls of the form X=Y are deterministic. (<a class="lpdoc-idx-anchor" id="18" href="native_props_cardinality_doc.html#relations/2"><tt>native_props:relations/2</tt></a>)Goal X=Y produces inf solutions. (<a class="lpdoc-idx-anchor" id="19" href="ciaosearch.html#test_type/2"><tt>native_props:test_type/2</tt></a>)Indicates the type of test that a predicate performs. Required by the nonfailure analyisis. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="\=/2" href="ciaosearch.html#\=/2">\=/2</a></div><div class="lpdoc-deftext">Usage:ISO<tt>X\=Y</tt> X and Y are not unifiable.<ul class="lpdoc-itemize-minus"><li>The following properties hold globally: (<a class="lpdoc-idx-anchor" id="20" href="basic_props.html#sideff/2"><tt>basic_props:sideff/2</tt></a>)X\=Y is side-effect free. (<a class="lpdoc-idx-anchor" id="21" href="basic_props.html#bind_ins/1"><tt>basic_props:bind_ins/1</tt></a>)X\=Y is binding insensitive. (<a class="lpdoc-idx-anchor" id="22" href="native_props_nfdet_doc.html#is_det/1"><tt>native_props:is_det/1</tt></a>)All calls of the form X\=Y are deterministic. </ul> Other properties: <tt>X\=Y</tt> <ul class="lpdoc-itemize-minus"><li>If the following properties hold at call time: (<a class="lpdoc-idx-anchor" id="23" href="term_typing.html#ground/1"><tt>term_typing:ground/1</tt></a>)X is currently ground (it contains no variables). (<a class="lpdoc-idx-anchor" id="24" href="term_typing.html#ground/1"><tt>term_typing:ground/1</tt></a>)Y is currently ground (it contains no variables). then the following properties hold globally: (<a class="lpdoc-idx-anchor" id="25" href="basic_props.html#eval/1"><tt>basic_props:eval/1</tt></a>)X\=Y is evaluable at compile-time. </ul><tt>X\=Y</tt> <ul class="lpdoc-itemize-minus"><li>The following properties hold globally: (<a class="lpdoc-idx-anchor" id="26" href="basic_props.html#sideff/2"><tt>basic_props:sideff/2</tt></a>)X\=Y is side-effect free. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="arg/3" href="ciaosearch.html#arg/3">arg/3</a></div><div class="lpdoc-deftext">Usage 1:<tt>arg(ArgNo,Term,Arg)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="27" href="basic_props.html#num/1"><tt>basic_props:num/1</tt></a>)ArgNo is a number. <li>The following properties hold globally: (<a class="lpdoc-idx-anchor" id="28" href="native_props_nfdet_doc.html#is_det/1"><tt>native_props:is_det/1</tt></a>)All calls of the form arg(ArgNo,Term,Arg) are deterministic. (<a class="lpdoc-idx-anchor" id="29" href="native_props_cardinality_doc.html#relations/2"><tt>native_props:relations/2</tt></a>)Goal arg(ArgNo,Term,Arg) produces inf solutions. </ul>Usage 2:<tt>arg(ArgNo,Term,Arg)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="30" href="basic_props.html#num/1"><tt>basic_props:num/1</tt></a>)ArgNo is a number. (<a class="lpdoc-idx-anchor" id="31" href="basic_props.html#gnd/1"><tt>basic_props:gnd/1</tt></a>)Term is ground. <li>The following properties hold upon exit: (<a class="lpdoc-idx-anchor" id="32" href="basic_props.html#gnd/1"><tt>basic_props:gnd/1</tt></a>)Arg is ground. </ul>Usage 3:ISO<tt>arg(ArgNo,Term,Arg)</tt> Argument ArgNo of the term Term is Arg.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="33" href="basic_props.html#nnegint/1"><tt>basic_props:nnegint/1</tt></a>)ArgNo is a non-negative integer. (<a class="lpdoc-idx-anchor" id="34" href="basic_props.html#struct/1"><tt>basic_props:struct/1</tt></a>)Term is a compound term. <li>The following properties hold globally: (<a class="lpdoc-idx-anchor" id="35" href="basic_props.html#sideff/2"><tt>basic_props:sideff/2</tt></a>)arg(ArgNo,Term,Arg) is side-effect free. (<a class="lpdoc-idx-anchor" id="36" href="basic_props.html#native/1"><tt>basic_props:native/1</tt></a>)This predicate is understood natively by CiaoPP. (<a class="lpdoc-idx-anchor" id="37" href="basic_props.html#bind_ins/1"><tt>basic_props:bind_ins/1</tt></a>)arg(ArgNo,Term,Arg) is binding insensitive. </ul>Usage 4:<tt>arg(ArgNo,Term,Arg)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="38" href="basic_props.html#nnegint/1"><tt>basic_props:nnegint/1</tt></a>)ArgNo is a non-negative integer. (<a class="lpdoc-idx-anchor" id="39" href="basic_props.html#gnd/1"><tt>basic_props:gnd/1</tt></a>)Term is ground. <li>The following properties hold upon exit: (<a class="lpdoc-idx-anchor" id="40" href="basic_props.html#gnd/1"><tt>basic_props:gnd/1</tt></a>)Arg is ground. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="functor/3" href="ciaosearch.html#functor/3">functor/3</a></div><div class="lpdoc-deftext">Usage 1:ISO<tt>functor(Term,Name,Arity)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="41" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Term is currently a term which is not a free variable. <li>The following properties hold upon exit: (<a class="lpdoc-idx-anchor" id="42" href="basic_props.html#atm/1"><tt>basic_props:atm/1</tt></a>)Name is an atom. (<a class="lpdoc-idx-anchor" id="43" href="basic_props.html#nnegint/1"><tt>basic_props:nnegint/1</tt></a>)Arity is a non-negative integer. <li>The following properties hold globally: (<a class="lpdoc-idx-anchor" id="44" href="basic_props.html#not_further_inst/2"><tt>basic_props:not_further_inst/2</tt></a>)Term is not further instantiated. (<a class="lpdoc-idx-anchor" id="45" href="basic_props.html#sideff/2"><tt>basic_props:sideff/2</tt></a>)functor(Term,Name,Arity) is side-effect free. (<a class="lpdoc-idx-anchor" id="46" href="basic_props.html#native/1"><tt>basic_props:native/1</tt></a>)This predicate is understood natively by CiaoPP. (<a class="lpdoc-idx-anchor" id="47" href="basic_props.html#bind_ins/1"><tt>basic_props:bind_ins/1</tt></a>)functor(Term,Name,Arity) is binding insensitive. (<a class="lpdoc-idx-anchor" id="48" href="basic_props.html#eval/1"><tt>basic_props:eval/1</tt></a>)functor(Term,Name,Arity) is evaluable at compile-time. </ul>Usage 2:ISO<tt>functor(Term,Name,Arity)</tt> The principal functor of the term Term has name Name and arity Arity.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="49" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Name is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="50" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Arity is currently a term which is not a free variable. <li>The following properties hold upon exit: (<a class="lpdoc-idx-anchor" id="51" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Term is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="52" href="basic_props.html#atm/1"><tt>basic_props:atm/1</tt></a>)Name is an atom. (<a class="lpdoc-idx-anchor" id="53" href="basic_props.html#nnegint/1"><tt>basic_props:nnegint/1</tt></a>)Arity is a non-negative integer. <li>The following properties hold globally: (<a class="lpdoc-idx-anchor" id="54" href="basic_props.html#sideff/2"><tt>basic_props:sideff/2</tt></a>)functor(Term,Name,Arity) is side-effect free. (<a class="lpdoc-idx-anchor" id="55" href="basic_props.html#native/1"><tt>basic_props:native/1</tt></a>)This predicate is understood natively by CiaoPP. (<a class="lpdoc-idx-anchor" id="56" href="basic_props.html#bind_ins/1"><tt>basic_props:bind_ins/1</tt></a>)functor(Term,Name,Arity) is binding insensitive. (<a class="lpdoc-idx-anchor" id="57" href="basic_props.html#eval/1"><tt>basic_props:eval/1</tt></a>)functor(Term,Name,Arity) is evaluable at compile-time. (<a class="lpdoc-idx-anchor" id="58" href="native_props_nfdet_doc.html#not_fails/1"><tt>native_props:not_fails/1</tt></a>)All the calls of the form functor(Term,Name,Arity) do not fail. </ul>Usage 3:<tt>functor(Term,Name,Arity)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="59" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Term is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="60" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Name is a free variable. (<a class="lpdoc-idx-anchor" id="61" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)Arity is a free variable. (<a class="lpdoc-idx-anchor" id="62" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Term is currently a term which is not a free variable. <li>The following properties hold upon exit: (<a class="lpdoc-idx-anchor" id="63" href="native_props_cost_doc.html#size/2"><tt>native_props:size/2</tt></a>)1 is the size of argument Name, for any approximation. (<a class="lpdoc-idx-anchor" id="64" href="native_props_cost_doc.html#size/2"><tt>native_props:size/2</tt></a>)arity(Term) is the size of argument Arity, for any approximation. <li>The following properties hold globally: (<a class="lpdoc-idx-anchor" id="65" href="native_props_cost_doc.html#size_metric/3"><tt>native_props:size_metric/3</tt></a>)arity is the measure used to determine the size of the terms that Term is bound to, for any type of approximation. </ul> Other properties: <ul class="lpdoc-itemize-minus"><li>The following properties hold globally: (<a class="lpdoc-idx-anchor" id="66" href="basic_props.html#sideff/2"><tt>basic_props:sideff/2</tt></a>)functor(Arg1,Arg2,Arg3) is side-effect free. (<a class="lpdoc-idx-anchor" id="67" href="basic_props.html#native/1"><tt>basic_props:native/1</tt></a>)This predicate is understood natively by CiaoPP. (<a class="lpdoc-idx-anchor" id="68" href="native_props_nfdet_doc.html#is_det/1"><tt>native_props:is_det/1</tt></a>)All calls of the form functor(Arg1,Arg2,Arg3) are deterministic. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="=../2" href="ciaosearch.html#=../2">=../2</a></div><div class="lpdoc-deftext">Usage:ISO<tt>Term=..List</tt> The functor and arguments of the term Term comprise the list List.<ul class="lpdoc-itemize-minus"><li>The following properties hold upon exit: (<a class="lpdoc-idx-anchor" id="69" href="basic_props.html#list/1"><tt>basic_props:list/1</tt></a>)List is a list. <li>The following properties hold globally: (<a class="lpdoc-idx-anchor" id="70" href="basic_props.html#sideff/2"><tt>basic_props:sideff/2</tt></a>)Term=..List is side-effect free. (<a class="lpdoc-idx-anchor" id="71" href="basic_props.html#native/1"><tt>basic_props:native/1</tt></a>)This predicate is understood natively by CiaoPP. </ul> Other properties: <ul class="lpdoc-itemize-minus"><li>If the following properties hold at call time: (<a class="lpdoc-idx-anchor" id="72" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Arg1 is currently a term which is not a free variable. then the following properties hold globally: (<a class="lpdoc-idx-anchor" id="73" href="basic_props.html#eval/1"><tt>basic_props:eval/1</tt></a>)Arg1=..Arg2 is evaluable at compile-time. </ul><tt>Arg1=..List</tt> <ul class="lpdoc-itemize-minus"><li>If the following properties hold at call time: (<a class="lpdoc-idx-anchor" id="74" href="basic_props.html#list/1"><tt>basic_props:list/1</tt></a>)List is a list. (<a class="lpdoc-idx-anchor" id="76" href="#const_head/1"><tt>term_basic:const_head/1</tt></a>)<a class="lpdoc-idx-anchor" id="75" href="ciaosearch.html#const_head(List)"><tt>term_basic:const_head(List)</tt></a> then the following properties hold globally: (<a class="lpdoc-idx-anchor" id="77" href="basic_props.html#eval/1"><tt>basic_props:eval/1</tt></a>)Arg1=..List is evaluable at compile-time. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="const_head/1" href="ciaosearch.html#const_head/1">const_head/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="copy_term/2" href="ciaosearch.html#copy_term/2">copy_term/2</a></div><div class="lpdoc-deftext">Usage:ISO<tt>copy_term(Term,Copy)</tt> Copy is a renaming of Term, such that brand new variables have been substituted for all variables in Term. If any of the variables of Term have <a class="lpdoc-idx-anchor" id="78" href="ciaosearch.html#attributes">attributes</a>, the copied variables will have copies of the attributes as well. It behaves as if defined by:<pre class="lpdoc-codeblock">:- data 'copy of'/1. copy_term(X, Y) :- asserta_fact('copy of'(X)), retract_fact('copy of'(Y)). </pre><ul class="lpdoc-itemize-minus"><li>The following properties hold globally: (<a class="lpdoc-idx-anchor" id="79" href="basic_props.html#sideff/2"><tt>basic_props:sideff/2</tt></a>)copy_term(Term,Copy) is side-effect free. (<a class="lpdoc-idx-anchor" id="80" href="basic_props.html#native/1"><tt>basic_props:native/1</tt></a>)This predicate is understood natively by CiaoPP. </ul> Other properties: <tt>copy_term(Term,Copy)</tt> <ul class="lpdoc-itemize-minus"><li>If the following properties hold at call time: (<a class="lpdoc-idx-anchor" id="81" href="term_typing.html#ground/1"><tt>term_typing:ground/1</tt></a>)Term is currently ground (it contains no variables). then the following properties hold globally: (<a class="lpdoc-idx-anchor" id="82" href="basic_props.html#eval/1"><tt>basic_props:eval/1</tt></a>)copy_term(Term,Copy) is evaluable at compile-time. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="copy_term_nat/2" href="ciaosearch.html#copy_term_nat/2">copy_term_nat/2</a></div><div class="lpdoc-deftext">Usage:<tt>copy_term_nat(Term,Copy)</tt> Same as <a class="lpdoc-idx-anchor" id="83" href="#copy_term/2"><tt>copy_term/2</tt></a>, except that attributes of variables are not copied.<ul class="lpdoc-itemize-minus"><li>The following properties hold globally: (<a class="lpdoc-idx-anchor" id="84" href="basic_props.html#sideff/2"><tt>basic_props:sideff/2</tt></a>)copy_term_nat(Term,Copy) is side-effect free. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="C/3" href="ciaosearch.html#C/3">C/3</a></div><div class="lpdoc-deftext">Usage 1:<tt>C(S1,Terminal,S2)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties hold upon exit: (<a class="lpdoc-idx-anchor" id="86" href="#list_functor/1"><tt>term_basic:list_functor/1</tt></a>)<a class="lpdoc-idx-anchor" id="85" href="ciaosearch.html#list_functor(S1)"><tt>term_basic:list_functor(S1)</tt></a> </ul>Usage 2:<tt>C(S1,Terminal,S2)</tt> S1 is connected by the terminal Terminal to S2. Internally used in DCG grammar rules. Defined as if by the single clause: <tt>'C'([X|S], X, S).</tt><ul class="lpdoc-itemize-minus"><li>The following properties hold globally: (<a class="lpdoc-idx-anchor" id="87" href="basic_props.html#sideff/2"><tt>basic_props:sideff/2</tt></a>)C(S1,Terminal,S2) is side-effect free. (<a class="lpdoc-idx-anchor" id="88" href="basic_props.html#native/1"><tt>basic_props:native/1</tt></a>)This predicate is understood natively by CiaoPP. </ul> Other properties: <tt>C(S1,Terminal,S2)</tt> <ul class="lpdoc-itemize-minus"><li>If the following properties hold at call time: (<a class="lpdoc-idx-anchor" id="89" href="#non_empty_list/1"><tt>term_basic:non_empty_list/1</tt></a>)A list that is not the empty list []. then the following properties hold upon exit: (<a class="lpdoc-idx-anchor" id="90" href="basic_props.html#list/1"><tt>basic_props:list/1</tt></a>)S2 is a list. </ul><ul class="lpdoc-itemize-minus"><li>If the following properties hold at call time: (<a class="lpdoc-idx-anchor" id="91" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Arg1 is currently a term which is not a free variable. then the following properties hold globally: (<a class="lpdoc-idx-anchor" id="92" href="basic_props.html#eval/1"><tt>basic_props:eval/1</tt></a>)C(Arg1,Arg2,Arg3) is evaluable at compile-time. </ul></div></div> <div><div class="lpdoc-defname">REGTYPE<a class="lpdoc-idx-anchor" id="list_functor/1" href="ciaosearch.html#list_functor/1">list_functor/1</a></div><div class="lpdoc-deftext">A regular type, defined as follows:<pre class="lpdoc-codeblock">list_functor([A|B]) :- term(A), term(B). </pre> </div></div> <div><div class="lpdoc-defname">REGTYPE<a class="lpdoc-idx-anchor" id="non_empty_list/1" href="ciaosearch.html#non_empty_list/1">non_empty_list/1</a></div><div class="lpdoc-deftext">Usage:<tt>non_empty_list(A)</tt> A list that is not the empty list [].<ul class="lpdoc-itemize-minus"></ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="cyclic_term/1" href="ciaosearch.html#cyclic_term/1">cyclic_term/1</a></div><div class="lpdoc-deftext">Usage:<tt>cyclic_term(T)</tt> True if T is cyclic (infinite).<ul class="lpdoc-itemize-minus"></ul></div></div> </div><div id="Documentation on imports"><h2>Documentation on imports</h2>This module has the following direct dependencies:<ul class="lpdoc-itemize-minus"><li>System library modules: <a class="lpdoc-idx-anchor" id="93" href="ciaosearch.html#native_props"><tt>native_props</tt></a>. <li>Packages: <a class="lpdoc-idx-anchor" id="94" href="ciaosearch.html#prelude"><tt>prelude</tt></a>, <a class="lpdoc-idx-anchor" id="95" href="ciaosearch.html#initial"><tt>initial</tt></a>, <a class="lpdoc-idx-anchor" id="96" href="condcomp_doc.html"><tt>condcomp</tt></a>, <a class="lpdoc-idx-anchor" id="97" href="assertions_doc.html"><tt>assertions</tt></a>, <a class="lpdoc-idx-anchor" id="98" href="ciaosearch.html#assertions/assertions_basic"><tt>assertions/assertions_basic</tt></a>, <a class="lpdoc-idx-anchor" id="99" href="ciaosearch.html#nativeprops"><tt>nativeprops</tt></a>, <a class="lpdoc-idx-anchor" id="100" href="isomodes_doc.html"><tt>isomodes</tt></a>, <a class="lpdoc-idx-anchor" id="101" href="ciaosearch.html#nortchecks"><tt>nortchecks</tt></a>. </ul></div></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>