num_pages: 251
description: Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended examples, and implementation techniques. It covers logical theory, practical programming, and the structure of a simple Prolog implementation.
language: English
title: An Introduction to Logic Programming Through Prolog
titlecomplete: An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science)
ratings_count: 2
publisher: Prentice Hall