An Introduction to Logic Programming Through Prolog
J. M. Spivey, Michael Spivey
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.
درجه (قاطیغوری(:
کال:
2002
خپرونه:
free web version 1996
خپرندویه اداره:
PH
ژبه:
english
صفحه:
260
ISBN 10:
0135360471
ISBN 13:
9780135360477
لړ (سلسله):
Prentice Hall International Series in Computer Science
فایل:
PDF, 1.06 MB
IPFS:
,
english, 2002