**Prolog Experiments in Discrete Mathematics, Logic, and Computability**

by James Hein

**Publisher**: Portland State University 2009**Number of pages**: 158

**Description**:

This book contains programming experiments that are designed to reinforce the learning of discrete mathematics, logic, and computability. It is the outgrowth of the experimental portion of a one-year course in discrete structures, logic, and computability for sophomores at Portland State University. The course has evolved over the last ten years from a standard course into a course that uses programming experiments as part of the required activity. Most of the experiments are short and to the point, just like traditional homework problems, so that they reflect the daily classroom work. The experiments in the book are organized to accompany the material in Discrete Structures, Logic, and Computability, Second Edition, by James L. Hein.

Download or read it online for free here:

**Download link**

(1.3MB, PDF)

## Similar books

**Building Expert Systems in Prolog**

by

**Dennis Merritt**-

**Amzi! inc.**

This book is designed to teach you how to build expert systems from the inside out. The author presents the various features used in expert systems, shows how to implement them in Prolog, and how to use them to solve problems.

(

**9388**views)

**An Introduction to Logic Programming through Prolog**

by

**Michael Spivey**-

**Prentice Hall**

Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs and implementation techniques. It covers logical theory, programming, and the structure of a simple Prolog implementation.

(

**9063**views)

**Applications of Prolog**

by

**Attila Csenki**-

**BookBoon**

In this volume the author discusses some areas where Prolog can be fruitfully employed. The book comprises four chapters: Enigma 1225: Rows are Columns; Blind Search; Informed Search; Text Processing. There are 54 exercises in this book.

(

**8951**views)

**Prolog Programming in Depth**

by

**Michael A. Covington, Donald Nute, Andre Vellino**-

**Prentice-Hall**

Full coverage of the Prolog programming language including the latest ISO standard. Includes ready-to-run code for expert system shells, other intelligent problem-solvers, and algorithms to read foreign file formats, even Lotus spreadsheets.

(

**2760**views)