Tore Amble Logic Programming and Knowledge Engineering - - Addison-Wesley Publishing 1987 - 281 ISBN: 0-201-18043-X Dewey Class. No.: 004.891