Akihiko Konagaya Mamoru Umemura Knowledge Information Processing Language: ShapeUp. 195-201 1984 2 New Generation Comput. 2 db/journals/ngc/ngc2.html#KonagayaU84