Book

An Advanced Logic Programming Language

by Tony Dodd