Constraint Logic Programming over Finite Domains

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:abbreviation gptkb:CLP(FD)
gptkbp:application combinatorial optimization
resource allocation
scheduling
gptkbp:basedOn logic programming
gptkbp:developedBy late 1980s
gptkbp:enables constraint propagation
declarative problem modeling
gptkbp:field gptkb:artificial_intelligence
computer science
constraint programming
https://www.w3.org/2000/01/rdf-schema#label Constraint Logic Programming over Finite Domains
gptkbp:notableFor gptkb:SICStus_Prolog
gptkb:SWI-Prolog
gptkb:ECLiPSe
gptkb:GNU_Prolog
B-Prolog
gptkbp:relatedTo gptkb:Prolog
Boolean satisfiability problem
gptkbp:uses finite domain constraints
gptkbp:bfsParent gptkb:constraint_logic_programming_(CLP(FD))
gptkbp:bfsLayer 6