Book

An Advanced Logic Programming Language

by Tony Dodd, T. Dodd