Logic with Prolog

Synopsis de Logic with Prolog

«Logic with Prolog» est le manuel de logique formelle et de programmation logique de Peter Gibbins, chez Clarendon Press, en couverture souple (336 pages, en anglais).

Introduction à la logique formelle et à la programmation logique avec Prolog : couvre les analyseurs, les interpréteurs, les vérificateurs de preuves et les démonstrateurs de théorèmes, les calculs propositionnel et des prédicats par déduction naturelle, la logique d'un petit langage impératif et les limites du Prolog réel.

Publié à l'origine en 1988, il fait partie de la série Oxford Applied Mathematics and Computing Science Series et comprend une bibliographie et un index.

Destiné aux étudiants universitaires et aux professionnels de l'informatique intéressés par la logique et la programmation en Prolog.