CONSTRAINT HANDLING IN PROLOG
\kənstɹˈe͡ɪnt hˈandlɪŋ ɪn pɹˈə͡ʊlɒɡ], \kənstɹˈeɪnt hˈandlɪŋ ɪn pɹˈəʊlɒɡ], \k_ə_n_s_t_ɹ_ˈeɪ_n_t h_ˈa_n_d_l_ɪ_ŋ ɪ_n p_ɹ_ˈəʊ_l_ɒ_ɡ]\
Sort: Oldest first
-
(CHIP) A constraint logic programming languagedeveloped by M. Dincbas at ECRC, Munich, Germany in 1985which includes Boolean unification and a symbolicsimplex-like algorithm. CHIP introduced thedomain-variable model.["The Constraint Logic Programming Language CHIP", M. Dincbaset al, Proc 2nd Intl Conf on Fifth Generation Computer Sys,Tokyo (Nov 1988), pp.249-264].["Constraint Satisfaction in Logic Programming", VanHentenryck. Available from COSYTEC, 4 rue Jean Rostand,F91893 Orsay, France].
By Denis Howe
Word of the day
Dopamine Acetyltransferase
- An enzyme that catalyzes the of groups from acetyl-CoA to arylamines. They have wide specificity for aromatic amines, particularly serotonin, and can also catalyze acetyl transfer between arylamines without CoA. EC 2.3.1.5.