Introdução à Linguagem Prolog

SWI-Prolog documentation