Product Description
This guide covers a range of real-world AI applications through the use of the Turbo PROLOG language, showing users how to take full advantage of its capabilities. The text explains AI concepts in terms of Turbo PROLOG, and develops in detail the individual areas of AI, showing readers how each concept is applied through numerous examples, including the development of natural language processors, workable expert systems and knowledge structures. This work has been written in a style that will appeal to novices as well as experienced programmers. An optional disk is available through the authors. ... Read more

Product Description
Concurrent Prolog brings together for the first time descriptions of the major concurrent logic programming languages proposed so far for future parallel computer systems. In particular, it describes the concurrent logic programming language Flat Concurrent Prolog, a comprehensive and radical approach to parallel computing that is based on a simple foundation.After surveying recent research in concurrent logic programming languages, these two volumes address all of the relevant aspects of constructing such a parallel computer system. They investigate how systems programming and the implementation of parallel algorithms can be carried out with this language; how advanced program development techniques can be applied; how to embed other high-level languages in it; and how to implement this language efficiently on sequential and parallel computers. The results of these investigations suggest that Flat Concurrent Prolog can serve as a general-purpose high-level machine language for parallel computers.Ehud Y. Shapiro is Senior Scientist, Department of Applied Mathematics, Weizmann Institute of Science. Concurrent Prolog is included in his Logic Programming series. Much of the research describe in the book was stimulated by the Fifth Generation project and cross-fertilization between the authors and ICOT. ... Read more

Product Description
This text combines an introduction to Prolog with an introduction to its use in building expert systems. It is suitable as a text for courses in expert systems, Prolog, or as a supplement in introductory artificial intelligence courses. ... Read more

Product Description
For advanced courses in fifth generation languages and computer architecture in departments of computer science and computer engineering, this text begins with a review of logic programming and Prolog and moves on to discuss Prolog interpreters and abstract machines in depth and examine potential parallelism in logic programming and the stream parallel language Parlog, concurrent Prolog and GHC. The text includes a comprehensive introduction to the standard prolog machine (the Warren Abstract Machine), a study of interpreters and compilers, and over 140 references to original source material. ... Read more

Product Description
This introductory text covers the fundamentals of the PROLOG language and applies them to real-world situations. Designed to serve the needs of the business data processing community, the text demonstrates the power of the language to produce the most elegant programs in instances where conventional procedural languages cannot. In addition, the text features detailed explanations of key concepts, including converting a program to LISP, which provides students with an opportunity to make a function-by-function comparison. It mentions the use of TURBO PROLOG along with other popular implementations and includes advanced sections on project-oriented programs and elements of current research. ... Read more

Product Description
A unique publication that provides an introduction to the theory of logic programming and its application to Prolog programs. Covers programming issues such as termination, occur-check freedom, partial correctness and absence of runtime errors. Paper. DLC: Logic programming. ... Read more

Product Description
Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool. Logic programming emphasizes that programming is a human activity and consequently that programs should be easy for humans to write, understand and manipulate. In a program knowledge about the problem is stated in a logical language without consideration of the underlying machine language. This book has emerged from undergraduate courses in logic programming. The relation to logic is described and the necessary logic is provided continuously. No previous programming experience is assumed and it can be used by beginners as well as by advanced programmers. The book emphasizes the declarative reading of Prolog programs which greatly facilitates the thinking about the problems and yields programs easy to understand. The book covers logic programs, their execution and data structures; databases and expert systems; program synthesis, program correctness and program transformation as well as an efficient computation of Prolog programs. Each chapter ends with some exercises (with solutions). The book also contains a thorough index, appendices and a chapter on Prolog implementations: DECsystem-10 Prolog, Tricia, Quintus Prolog, MProlog, Turbo Prolog, micro-Prolog and LM-Prolog. ... Read more