Hideyuki Nakashima Norihisa Suzuki Data Abstraction in Prolog/KR. 49-62 1983 1 New Generation Comput. 1 db/journals/ngc/ngc1.html#NakashimaS83