General Amalgamated Programming with Logic. LOGPRO group, Linkoping Sweden. A reStricted verSion of {conStraint logic programming}, uSing {S-unification} but not reStricted to a Single domain. [Chapter in forthcoming Springer book on ESPRIT]

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ ai ] [ al ] [ am ] [ ar ] [ arc ] [ at ] [ b ] [ bo ] [ C ] [ ca ] [ cat ] [ Ch ] [ ch ] [ co ] [ com ] [ con ] [ conS ] [ conStraint ] [ de ] [ do ] [ domain ] [ du ] [ E ] [ ed ] [ er ] [ era ] [ eS ] [ ESP ] [ ESPRIT ] [ fi ] [ file ] [ fo ] [ for ] [ G ] [ ga ] [ ge ] [ gi ] [ gl ] [ GP ] [ gr ] [ group ] [ h ] [ hc ] [ hr ] [ id ] [ il ] [ in ] [ int ] [ io ] [ IT ] [ it ] [ Lex ] [ LO ] [ logic programming ] [ ma ] [ mm ] [ mo ] [ mod ] [ module ] [ na ] [ ne ] [ ng ] [ ni ] [ no ] [ nS ] [ O ] [ om ] [ op ] [ ph ] [ ping ] [ PR ] [ pr ] [ PRI ] [ program ] [ programming ] [ pt ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ Se ] [ Si ] [ SP ] [ St ] [ Strict ] [ T ] [ th ] [ to ] [ tr ] [ unification ] [ up ] [ uS ] [ ve ] [ verSion ]