constraint logic programming (CLP(FD))

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
constraint programming system
gptkbp:abbreviation gptkb:Constraint_Logic_Programming_over_Finite_Domains
gptkbp:basedOn constraint logic programming
gptkbp:field gptkb:artificial_intelligence
computer science
gptkbp:focusesOn finite domains
https://www.w3.org/2000/01/rdf-schema#label constraint logic programming (CLP(FD))
gptkbp:implementedIn gptkb:Prolog
gptkb:SICStus_Prolog
gptkb:SWI-Prolog
gptkbp:usedFor resource allocation
scheduling
puzzle solving
combinatorial problem solving
gptkbp:bfsParent gptkb:GNU_Prolog
gptkbp:bfsLayer 5