LEADER 01505nam0-22004091i-450- 001 990003180720403321 005 20121108152948.0 035 $a000318072 035 $aFED01000318072 035 $a(Aleph)000318072FED01 035 $a000318072 100 $a20030910d1984----km-y0itay50------ba 101 0 $aita 102 $aIT 200 1 $aRepertorio delle riviste sovietiche$fIstituto Universitario Orientale 210 $a[Napoli]$cServizio Documentazione Paesi Socialisti. Dipartimento di Scienze Sociali$d1984 215 $a3 v. (294 p., 258 p., 122 p.)$d21 cm 327 1 $a1: "Voprosy ekonomiki" : 1948-1980 / a cura di Rita di Leo$a2: "Sovetskoe Gosudarstvo i Pravo" : 1949-1980 / a cura di Rita di Leo e Francesco Silvestre$a3: "Sociologiceskie issledovanija" : 1974-1984 / a cura di Donatella Sommani 610 0 $aSocialismo$aDiritto 610 0 $aSociologia$aUnione Sovetica 610 0 $aDiritto$aUnione Sovietica - 610 0 $aUnione Sovietica$aStoria economica 676 $aA/2 676 $aF/1.7 700 1$aDi Leo,$bRita$0119429 712 02$aIstituto universitario orientale.$bDipartimento di scienze sociali 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003180720403321 952 $aA/2 IUO$b11192-11194$fSES 952 $aXV A 15 (1)$bs.i.$fDTE 952 $aXV A 15 (2)$bs.i.$fDTE 952 $aXV A 15 (3)$bs.i.$fDTE 959 $aSES 959 $aDTE 996 $aRepertorio delle riviste sovietiche$9452579 997 $aUNINA LEADER 03482oam 2200625 a 450 001 9910766000503321 005 20230828220211.0 010 $a9780262284325 010 $a0262284324 010 $a9780585349848 010 $a0585349843 035 $a(CKB)111004366634264 035 $a(MH)007877355-5 035 $a(SSID)ssj0000105909 035 $a(PQKBManifestationID)12016251 035 $a(PQKBTitleCode)TC0000105909 035 $a(PQKBWorkID)10102215 035 $a(PQKB)10250387 035 $a(ScCtBLL)5265c783-eaf8-4b52-a7a2-35bcc082b885 035 $a(OCoLC)1139863879 035 $a(EXLCZ)99111004366634264 100 $a19931215d1994 uy 0 101 0 $aeng 135 $auru|||||||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe art of Prolog $eadvanced programming techniques /$fLeon Sterling, Ehud Shapiro ; with a foreword by David H.D. Warren 205 $a2nd ed. 210 $aCambridge, Mass. $cMIT Press$dc1994 215 $a1 online resource (xxxix, 509 p. )$cill. ; 225 0 $aLogic programming The art of Prolog 225 0$aLogic programming 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780262193382 311 08$a0262193388 320 $aIncludes bibliographical references (p. [483]-495) and index. 330 $aThis new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises have been added which have been used successfully in teaching the course. Part II, The Prolog Language, has been modified to be compatible with the new Prolog standard, and the chapter on program development has been significantly altered: the predicates defined have been moved to more appropriate chapters, the section on efficiency has been moved to the considerably expanded chapter on cuts and negation, and a new section has been added on stepwise enhancement-a systematic way of constructing Prolog programs developed by Leon Sterling. All but one of the chapters in Part III, Advanced Prolog Programming Techniques, have been substantially changed, with some major rearrangements. A new chapter on interpreters describes a rule language and interpreter for expert systems, which better illustrates how Prolog should be used to construct expert systems. The chapter on program transformation is completely new and the chapter on logic grammars adds new material for recognizing simple languages, showing how grammars apply to more computer science examples. 606 $aProlog (Computer program language) 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 0$aProlog (Computer program language) 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 676 $a005.13/3 700 $aSterling$b Leon$053869 701 $aShapiro$b Ehud Y$053870 801 0$bDLC 801 1$bDLC 801 2$bDLC 906 $aBOOK 912 $a9910766000503321 996 $aThe art of Prolog$93647930 997 $aUNINA 999 $aThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress