• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
    • RDF quality heuristics
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

/usr/lib/swipl/library/clp/clpb.pl
AllApplicationManualNameSummaryHelp

  • library
    • clp
      • clpfd.pl -- CLP(FD): Constraint Logic Programming over Finite Domains
      • clpb.pl -- CLP(B): Constraint Logic Programming over Boolean Variables
        • sat/1
        • taut/2
        • labeling/1
        • sat_count/2
        • random_labeling/2
        • weighted_maximum/3
 sat(+Expr) is semidet
True iff Expr is a satisfiable Boolean expression.
ClioPatria (version V3.1.1-40-g9d9e003)