Lisp Lore And Logic

Author: W. Richard Stark
Editor: Springer Science & Business Media
ISBN: 1461389313
File Size: 55,75 MB
Format: PDF, Mobi
Read: 7224
Download

Here is a presentation of LISP which is both practical and theoretical. For the practical, the syntax of the language, the programming styles, and the semantics of computation are carefully developed. For the theoretical, the algebra of interpreters, the lambda calculus as a foundation for LISP, and the algebraic significance of LISP's approach to artificial intelligence are discussed. As the title suggests, the book reaches beyond the technical side of LISP to present colorful applications, historical comments and quotations, computational philosophy, consequences of LISP's exceptional power, and much more. The material has been designed to appeal to a variety of readers, from the bright freshman to the practicing professional, and from computer scientists and mathematicians to chemists, engineers, and philosophers.
LISP, Lore, and Logic
Language: en
Pages: 278
Authors: W. Richard Stark
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Here is a presentation of LISP which is both practical and theoretical. For the practical, the syntax of the language, the programming styles, and the semantics of computation are carefully developed. For the theoretical, the algebra of interpreters, the lambda calculus as a foundation for LISP, and the algebraic significance
LISP, Lore, and Logic
Language: en
Pages: 278
Authors: WRichard Stark
Categories: Computers
Type: BOOK - Published: 2011-11-12 - Publisher: Springer

Here is a presentation of LISP which is both practical and theoretical. For the practical, the syntax of the language, the programming styles, and the semantics of computation are carefully developed. For the theoretical, the algebra of interpreters, the lambda calculus as a foundation for LISP, and the algebraic significance
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
Language: en
Pages: 814
Authors: Dov M. Gabbay, C. J. Hogger, J. A. Robinson
Categories: Computers
Type: BOOK - Published: 1998-01-08 - Publisher: Clarendon Press

The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in
Expert Systems and Related Topics
Language: en
Pages: 156
Authors: Marlene A. Palmer
Categories: Computers
Type: BOOK - Published: 1990-01-01 - Publisher: IGI Global

This comprehensive reference to all areas of expert systems and applications, plus advanced related topics, lets you spend your time reading expert systems literature rather than searching for it. It gives you a source of historical perspectives and outlooks on the future of the field. Whether you are a manager,
Interpreting LISP
Language: en
Pages: 150
Authors: Gary D. Knott
Categories: Computers
Type: BOOK - Published: 2017-06-22 - Publisher: Apress

Learn Lisp programming in a data structures context, including tables, functions, forms, expressions, typed-pointers, I/O, garbage collection and some applications. This short primer contains a careful description of the data structures manipulated by Lisp functions. These data structures and others, notably hash tables, are also used in constructing a Lisp