logic programming

Related Workds:

Conference Papers:

  • Atsushi Atarashi, Akihiko Konagaya, Shinichi Habata, Minoru Yokota:
    Implementation and Evaluation of Dynamic Predicates on the Sequential Inference Machine CHI, ICCL 1990, pp.236-244 (1990).
  • Akihiko Konagaya, Shinichi Habata, Atsushi Atarashi, Minoru Yokota:
    Performance Evaluation of a Sequential Inference Machine CHI, NACLP 1989, pp.1165-1179 (1989).
  • Hidenori Itoh, Hidetoshi Monoi, Shigeki Shibayama, Nobuyoshi Miyazaki, Haruo Yokota, Akihiko Konagaya: Knowledge Base System in Logic Programming Paradigm, FGCS 1988, pp.37-53 (1988).
  • Akihiko Konagaya, Rousei Nakazaki, Mamoru Umemura: A co-operative programming environment for a back-end type sequential inference machine CHI, Parallel Algorithms and Architectures, vol.269, Lecture Notes in Computer Science,  pp.196-205 (1987). PDF
  • Ryosei Nakazaki, Akihiko Konagaya, Shin’ichi Habata, Hideo Shimazu, Mamoru Umemutra, Masahiro Yamamoto, Minoru Yokota, Takashi Chikayama: Design of a high-speed Prolog machine (HPM),  Proceeding ISCA ’85 Proceedings of the 12th annual international symposium on Computer architecture, pp.191-197 (1985) .