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

/usr/lib/swi-prolog/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
 labeling(+Vs) is multi
Enumerate concrete solutions. Assigns truth values to the Boolean variables Vs such that all stated constraints are satisfied.
ClioPatria (version V3.1.1-21-gb8003bb)