TY - BOOK TI - student notes on intelligent knowledge based systems Part II: application of prolog to IKBS U1 - 005.133 ER -