TY - SER AU - Roth, Al TI - The practical application of prolog KW - PROLOG ER -