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

  • 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
 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.