Practical PROLOG / - Young, Richard J. (Van Nostrand Reinhold, 1989)