T.P. Dobry A High Performance Architecture for Prolog - Springer Springer 1990 ISBN: 9781461315292 Source: EBOOK