/usr/share/swi-prolog/pack/clpBNR/prolog/clpBNR.pl
All Application Manual Name SummaryHelp

  • clpBNR
    • prolog
      • clpBNR.pl -- clpBNR: Constraint Logic Programming over Continuous Domain of Reals
        • clpStatistics/0
        • clpStatistic/1
        • clpStatistics/1
        • list/1
        • interval/1
        • interval_degree/2
        • nb_setbounds/2
        • range/2
        • domain/2
        • delta/2
        • midpoint/2
        • median/2
        • lower_bound/1
        • upper_bound/1
        • ::/2
        • {}/1
        • watch/2
        • trace_clpBNR/1
      • clpBNR_toolkit.pl -- clpBNR_toolkit: Toolkit of various utilities used for solving problems with clpBNR
 list(?X:list) is semidet
Succeeds if X is a list; otherwise fails. Note: not equivalent to is_list/1 but executes in O(1) time. This filter is provided for historical compatability.