Search for Topics All Reviews
	Browse All Reviews > Software (D) > Programming Techniques (D.1) > Logic Programming (D.1.6)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 23 Reviews about "Logic Programming (D.1.6)": Date Reviewed   Introduction to logic programming Genesereth M., Chaudhri V., Morgan & Claypool, San Rafael, CA, 2020. 199 pp.  Type: Book (978-0-374279-75-2) Some time ago, our (then) teenage daughter used to exclaim, “Get with the ’80s!” whenever my wife and I imposed an eminently reasonable restriction. The very loose, perhaps reverse analogy here is that a c... Dec 15 2020   Declarative logic programming: theory, systems, and applications Kifer M., Liu Y. Association for Computing Machinery and Morgan & Claypool, New York, NY, 2018.  Type: Divisible Book What is declarative logic programming and why is it relevant? These are just two of the many questions answered in Declarative logic programming, edited by Michael Kifer and Yanhong Annie Liu. The compiled chapters aim to fill i... Jun 26 2019   Detecting decidable classes of finitely ground logic programs with function symbols Calautti M., Greco S., Trubitsyna I. ACM Transactions on Computational Logic 18(4): 1-42, 2017.  Type: Article The termination problem of programs is in general an undecidable problem. However, in the context of some programming paradigms, there has been a lot of research in finding useful decidable criteria characterizing certain subclasses of... May 22 2018   On a uniform representation of combinators, arithmetic, lambda terms and types Tarau P.  PPDP 2015 (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, Jul 14-16, 2015) 244-255, 2015.  Type: Proceedings The dream of a common language is strong, as are the benefits claimed for realizing the dream. This paper describes a binary tree representation capable of describing combinators, their types, lambda expressions, and natural numbers. T... Sep 8 2015   Logic programming with Prolog (2nd ed.) Bramer M., Springer Publishing Company, Incorporated, New York, NY, 2014. 255 pp.  Type: Book (978-1-447154-86-0) Declarative programming languages, such as Prolog, are much less familiar to professionals and students in computer science than are the usual object-oriented and procedural languages like C/C++, Java, or Fortran. The first languages n... Jun 23 2014   The YAP Prolog system Costa V., Rocha R., Damas L. Theory and Practice of Logic Programming 12(1-2): 5-34, 2012.  Type: Article Prolog was developed in the 1970s by imposing a simple control structure on the general idea of program execution as logical deduction. There are many varieties of Prolog in existence, but all are “Prolog” by virtue... May 21 2012   A 25-year perspective on logic programming: achievements of the Italian association for logic programming, GULP (LNCS 6125) Dovier A., Pontelli E. Springer-Verlag, New York, NY, 2010.  Type: Divisible Book This book commemorates the 25th anniversary of GULP, the Italian Association for Logic Programming. Each of the 14 chapters reviews a logic programming (LP) topic of current interest, and the progress made during the last 25 years, wit... Apr 26 2011   Linear logical approximations Simmons R., Pfenning F.  PEPM 2009 (Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Savannah, GA, Jan 19-20, 2009) 9-20, 2008.  Type: Proceedings Program analysis is a very active field of research, tackling difficult yet practical problems. Algorithms have been developed for many different analyses, but abstract interpretation is the main methodological tool. Here, we are offer... Mar 10 2009   Constraint logic programming using ECLiPSe Apt K., Wallace M., Cambridge University Press, New York, NY, 2007.  Type: Book (9780521866286) This is a handbook for topical undergraduate and graduate courses that teach algorithmic problem solving using constraint optimization and logic programming. Apt and Wallace take the reader through a journey of understanding the formal... Jul 17 2008   Termination analysis of logic programs through combination of type-based norms Bruynooghe M., Codish M., Gallagher J., Genaim S., Vanhoof W. ACM Transactions on Programming Languages and Systems 29(2): 10-es, 2007.  Type: Article Establishing that all computations terminate is a fundamental, though generally undecidable, property of computer programs. Therefore, termination analyses that approximate this property have been developed for different programming la... Aug 29 2007       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy