TY - BOOK AU - Clocksin W F TI - Programming In Prolog Using The Iso Standard U1 - 3.01 PB - Marcel Dekker Inc. KW - MECHANICAL_DESIGN ER -