Logic Programming

Logic Programming with Prolog [repost]  eBooks & eLearning

Posted by hill0 at March 28, 2017
Logic Programming with Prolog [repost]

Logic Programming with Prolog by Max Bramer
English | 31 Jan. 2014 | ISBN: 144715486X | 268 Pages | PDF (True) | 1.27 MB

Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. By far the most widely used Logic Programming language is Prolog. Prolog is a good choice for developing complex applications, especially in the field of Artificial Intelligence.

An Introduction to Logic Programming Through Prolog  eBooks & eLearning

Posted by leonardo78 at Dec. 27, 2016
An Introduction to Logic Programming Through Prolog

An Introduction to Logic Programming Through Prolog by J. M. Spivey, Michael Spivey
Publisher: Prentice Hall | 1996 | ISBN: 0135360471 | 251 pages | PDF | 1,3 MB

This is one of the few texts that combines three essential theses in the study of logic programming: the logic that gives logic programs their unique character: the practice of programming effectively using the logic; and the efficient implementation of logic programming on computers.

Logic Programming: A Classified Bibliography  eBooks & eLearning

Posted by lengen at Nov. 3, 2016
Logic Programming: A Classified Bibliography

Logic Programming: A Classified Bibliography by I. Balbin
English | Oct. 4, 2013 | ISBN: 0908069154 | 369 Pages | PDF | 11 MB

Logic Programming was effectively defined as a discipline in the early seventies. It is only during the early to mid eighties that books, conferences and journals devoted entirely to Logic Programming began to appear. Consequently, much of the work done during this first crucial decade in Marseilles, Edinburgh, London, Budapest and Stockholm (to name a few) is often overlooked or difficult to trace.

A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe (Repost)  eBooks & eLearning

Posted by leonardo78 at Oct. 24, 2016
A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe (Repost)

Antoni Niederlinski, "A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe"
Gliwice | 2011 | ISBN-10: N/A | ISBN-13: 9788362652082 | 420 pages | PDF | 6,7 MB

The book is an introductory and down-to-earth presentation of Constraint Logic Programming (CLP), an exciting software paradigm, more and more popular for solving combinatorial as well as continuous constraint satisfaction problems and constraint optimization problems. It is based on the popular, intensively supported and documented ECLiPSe platform, freely available under Cisco-style Mozilla Public License.
Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan (Repost)

Katsumi Inoue, "Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan"
English | 12 Jun. 2016 | ISBN: 3319405659 | 228 Pages | PDF (True) | 10.13 MB
An Inductive Logic Programming Approach to Statistical Relational Learning (repost)

An Inductive Logic Programming Approach to Statistical Relational Learning
by Kristian Kersting
English | 2006 | ISBN: 1586036742 | 257 pages | PDF | 3.14 MB

Non-deterministic Concurrent Logic Programming in Pandora (Repost)  eBooks & eLearning

Posted by step778 at Aug. 29, 2016
Non-deterministic Concurrent Logic Programming in Pandora (Repost)

Reem Bahgat, "Non-deterministic Concurrent Logic Programming in Pandora"
1993 | pages: 224 | ISBN: 9810212518 | DJVU | 1,7 mb

From Logic to Logic Programming  eBooks & eLearning

Posted by step778 at Aug. 10, 2016
From Logic to Logic Programming

Kees Doets, "From Logic to Logic Programming"
1994 | pages: 216 | ISBN: 0262041421 | DJVU | 2,4 mb

Inductive Logic Programming  eBooks & eLearning

Posted by AlenMiler at July 30, 2016
Inductive Logic Programming

Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers (Lecture Notes in Computer Science) by Katsumi Inoue
English | 12 Jun. 2016 | ISBN: 3319405659 | 228 Pages | PDF (True) | 10.13 MB

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Conference on Inductive Logic Programming, ILP 2015, held in Kyoto, Japan, in August 2015.

Foundations of Logic Programming (Repost)  eBooks & eLearning

Posted by step778 at July 12, 2016
Foundations of Logic Programming (Repost)

John W. Lloyd, "Foundations of Logic Programming"
1987 | pages: 228 | ISBN: 3540181997, 3642968287 | DJVU | 1,8 mb