A.8 library(clpb): CLP(B): Constraint Logic Programming over Boolean Variables
All Application Manual Name SummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(clpb): CLP(B): Constraint Logic Programming over Boolean Variables
          • Introduction
          • Boolean expressions
          • Interface predicates
          • Examples
          • Obtaining BDDs
          • Enabling monotonic CLP(B)
          • Example: Pigeons
          • Example: Boolean circuit
          • Acknowledgments
          • CLP(B) predicate index
    • Packages

A.8.9 Acknowledgments

The interface predicates of this library follow the example of SICStus Prolog.

Use SICStus Prolog for higher performance in many cases.