00233nam a2200097Ia 4500008004100000020001900041082000800060100001100068245002600079260003000105240817s9999    xx            000 0 und d  a 3-540-15011-0  a, 2  a, 1984 0aPROGRAMMING IN PROLOG  a TOKYOb SPRINGER- VERLAG