Clause and Effect : Prolog Programming for the Working Programmer /

This workbook is for programmers who are new to Prolog and who wish to write useful Prolog programs. The emphasis is on a simplified and disciplined methodology for discerning the mathematical structures related to a problem, and then turning these structures into Prolog programs. A relatively pure...

Full description

Bibliographic Details
Main Author:	Clocksin, William F.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.
Subjects:	Computer science. Software engineering. Artificial intelligence. Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

Getting Started
Data Structures
Mapping
Choice and Commitment
Difference Structures
Case Study: Term Rewriting
Case Study: Manipulation of Combinational Circuits
Case Study: Manipulation of Clocked Sequential Circuits
Case Study: A Compiler for Three Model Computers
Case Study: The Fast Fourier Transform in Prolog
Case Study: Higher Order Functional Programming
Appendix
References
Index.