Kazuhiro Fuchi Koichi Furukawa The Role of Logic Programming in the Fifth Generation Computer Project. 3-28 1987 5 New Generation Comput. 1 db/journals/ngc/ngc5.html#FuchiF87