Word:

Constraint Handling In Prolog

(language)Constraint Handling In Prolog - (CHIP) A constraint logic programming language developed by M. Dincbas at ECRC, Munich, Germany in 1985 which includes Boolean unification and a symbolic simplex-like algorithm. CHIP introduced the domain-variable model.

["The Constraint Logic Programming Language CHIP", M. Dincbas et al, Proc 2nd Intl Conf on Fifth Generation Computer Sys, Tokyo (Nov 1988), pp.249-264].

["Constraint Satisfaction in Logic Programming", Van Hentenryck. Available from COSYTEC, 4 rue Jean Rostand, F91893 Orsay, France].
Browse
Constitutionalist
Constitutionality
constitutionalize
Constitutionally
Constitutionist
Constitutive
Constitutively
Constitutor
Constrain
Constrainable
Constrained
Constrainedly
Constrainer
constraining
Constraint
constraint functional programming
-- Constraint Handling In Prolog --
Constraint Logic Programming
constraint satisfaction
Constraintive
ConstraintLisp
CONSTRAINTS
Constrict
Constricted
constricting
Constriction
Constrictive
Constrictor
Constrictor constrictor
Constringe
Constringent
construal
Construct
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy