Prolog (computer program language)

Mathematical Aspects of Logic Programming Semantics

Anthony Seda, Pascal Hitzler

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

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

Tony Dodd

Problem Solving With Prolog

John Stobo

Prolog Programming in Depth

Andre Vellino, Michael A. Covington, Donald Nute

Computational Introduction to Linguistics: Describing Language in Plain Prolog

Almerindo E. Ojeda

INTRODUCTION TO PROGRAMMING LANGUAGES: PRINCIPLES, C, C++, SCHEME AND PROLOG: Principles, C, C++, Scheme And Prolog

Yinong Chen

Execution models of Prolog for parallel computers

Peter Kacsuk.

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

Yinong Chen, Wei-Tek Tsai

Logic: The Basis for Understanding Prolog.

D. Cooke