Articoli correlati a From Logic Programming to Prolog

From Logic Programming to Prolog

Apt, Krzysztof R.

 
9780132303682: From Logic Programming to Prolog
ISBN 10: 013230368X ISBN 13: 9780132303682
Casa editrice: Prentice Hall, 1996

Sinossi

Provides a systematic introduction to the theory of logic programming and shows how this theory can be applied to reason about pure Prolog programs. The text includes an introduction to programming in Prolog and deals with such programming issues as determination, occur-check freedom and absence of errors. It covers both the natural interpretations of logic programming, as declarative specification and as procedure for computer execution.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Apt Krzysztof

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Prentice Hall
Data di pubblicazione
1996
Lingua
Inglese
ISBN 10 
013230368X
ISBN 13 
9780132303682
Rilegatura
Libro di testo
Numero di pagine
328
Contatto del produttore
non disponibile
Persona responsabile
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Germania