Logic And Declarative Language

ISBN-13: 9780748408030 / Angielski / Twarda / 1998 / 384 str.

Michael Downward

Opis

An accessible and comprehensive introduction to logic and declarative languages. This book is intended to support courses in functional language, logic language or logic itself.

Spis treści

Part One: Logic Without Equality 1. Propositions 2. First Order Logic 3. Logic Programming Principles 4. Prolog Part Two: Logic With Equality 5. Logic-sorted Abstract Types 6. The Included Middle 7. Miranda 8. Institutional Logic 9. Languages and Databases

O autorze

M. Downward