Prolog
By: F. Giannesini, H. Kanoui, R. Pasero ... ; préf. de A. Colmerauer
Publisher: InterEditions
Published: 1985
Place of publication: Paris
Language: fre
Number of pages: 318
ISBN-13: 9782729600761
Subjects: Prolog (Computer program language); Prolog (langage de programmation); PROLOG Edimbourg; PROLOG 2.; MICRO-PROLOG; Programmation PROLOG; PROLOG; Prolog (Langage de programmation); Ordinateur; Programmation
Notes: Bibliographie : pages 313-314 et index.
Table of contents: title: Présentation informelle; title: Listes; title: Termes préfixés; title: N-uplets; title: Les règles prédéfinies de Prolog II; title: Applications; title: Logique et banques de données; title: Analyse et synthèse d'un language; title: Arbres infinis et compilation; title: Démonstration automatique et systèmes experts.