Specification of Prolog IV (1996)

by A Colmerauer