Book by Apt Krzysztof
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: Majestic Books, Hounslow, Reino Unido
Condición: Used. pp. 280. Nº de ref. del artículo: 44797609
Cantidad disponible: 1 disponibles
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Condición: Used. pp. 280. Nº de ref. del artículo: 1847985020
Cantidad disponible: 1 disponibles