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]. (1994-11-15) In addition suitable contents:
[ 2 ] [ = ] [ ag ] [ ai ] [ al ] [ algorithm ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ B ] [ b ] [ ba ] [ bo ] [ Boolean ] [ by ] [ C ] [ ca ] [ cat ] [ cb ] [ ch ] [ CHI ] [ CHIP ] [ ck ] [ cl ] [ co ] [ Computer ] [ con ] [ cons ] [ constraint ] [ Constraint Logic Programming ] [ COS ] [ CR ] [ CRC ] [ D ] [ de ] [ do ] [ domain ] [ du ] [ E ] [ ECRC ] [ ed ] [ er ] [ era ] [ es ] [ et ] [ fact ] [ fi ] [ Fifth ] [ file ] [ fr ] [ G ] [ ge ] [ German ] [ gi ] [ gr ] [ gu ] [ h ] [ hm ] [ hr ] [ id ] [ il ] [ in ] [ inc ] [ include ] [ int ] [ io ] [ IP ] [ is ] [ it ] [ J ] [ ke ] [ ky ] [ la ] [ language ] [ Lex ] [ li ] [ logic programming ] [ lu ] [ M ] [ ma ] [ man ] [ mm ] [ mo ] [ mod ] [ mode ] [ model ] [ module ] [ mp ] [ Mu ] [ N ] [ na ] [ nc ] [ ne ] [ nf ] [ ng ] [ ni ] [ nr ] [ ns ] [ O ] [ om ] [ op ] [ OS ] [ pe ] [ ph ] [ pl ] [ pr ] [ program ] [ programming ] [ query ] [ rc ] [ re ] [ ro ] [ ru ] [ S ] [ sa ] [ say ] [ se ] [ si ] [ simplex ] [ st ] [ sy ] [ T ] [ th ] [ tr ] [ ua ] [ unification ] [ V ] [ va ] [ var ] [ variable ] [ ve ] [ Y ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (5620 Reads) |
