Prolog (computer program language)

Practical Aspects of Declarative Languages: Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings (Lecture Notes in Computer Science)

Enrico Pontelli

Mathematical Aspects of Logic Programming Semantics

Anthony Seda, Pascal Hitzler

An Advanced Logic Programming Language: The Prolog-2 User Guide

Tony Dodd

Problem Solving With Prolog

John Stobo

Execution models of Prolog for parallel computers

Peter Kacsuk.

Introduction to Programming Languages: Principles, C, C++, Scheme and Prolog

Yinong Chen, Wei-Tek Tsai

Prolog Programming in Depth

Andre Vellino, Michael A. Covington, Donald Nute

Prolog Programming: A Tutorial Introduction (Artificial Intelligence Texts)

Carlton McDonald, Masoud Yazdani

Logic: The Basis for Understanding Prolog.

D. Cooke

Computational Introduction to Linguistics: Describing Language in Plain Prolog

Almerindo E. Ojeda