|
|
|||
|
||||
OverviewA semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy, however, and there are a number of different implementations. In this book Patrice Boizumault draws from his extensive e Full Product DetailsAuthor: Patrice Boizumault , Jamal Fattouh , Ara M. DjamboulianPublisher: Princeton University Press Imprint: Princeton University Press Volume: 261 Dimensions: Width: 15.20cm , Height: 1.90cm , Length: 22.90cm Weight: 0.595kg ISBN: 9780691637709ISBN 10: 0691637709 Pages: 314 Publication Date: 19 April 2016 Audience: College/higher education , Professional and scholarly , Tertiary & Higher Education , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Language: English Table of ContentsForewordAcknowledgmentsIntroductionPt. IFundamental Principles of the LanguageCh. 1UnificationCh. 2Resolution and Prolog ControlCh. 3Improving Prolog ControlPt. IIPrinciples and Techniques of ImplementationCh. 4Control and Stack(s) ManagementCh. 5Representation of TermsCh. 6Deterministic Call ReturnsCh. 7Last-Call OptimizationCh. 8Clause IndexingCh. 9Compilation of PrologCh. 10The dif and freeze Predicates of Prolog-IIPt. IIIImplementationsCh. 11Mini-CPrologCh. 12Mini-WAMCh. 13Mini-Prolog-IICh. 14Built-In PredicatesConclusionAppendix A: Mini-CPrologAppendix B: Mini-WAMAppendix C: Mini-Prolog-IIAppendix D: Common PartBibliographyIndexReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |