Parallel logic programming system in the FGCS project and its future directions

Shunichi Uchida, Akira Aiba, Kazuaki Rokusawa, Takashi Chikayama, Ryuzo Hasegawa

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

In the fifth generation computer systems (FGCS) project, a parallel logic programming language, KL1, was adopted as the project's kernel language. It was not only used to determine architectures of highly parallel machines called parallel inference machines (PIMs) consisting of about 1000 element processors but also used as a system description language to develop basic software such as a parallel operating system (PIMOS), and symbolic processing and knowledge processing application systems such as knowledge description languages, a parallel theorem prover, and a protein sequence analysis program. It achieved great success in exploiting of parallelism involved in several important application systems. The prototype of the FGCS attained a linear speed-up that was proportional to the number of processing elements (PEs) for the application systems we had targeted. The MGTP parallel theorem prover was one of such application systems, and can prove theorems based on full first-order logic. Thus, it indicates the possibility of designing a new practical knowledge representation language whose expressive power will be much greater than that of conventional ones. In the FGCS follow-on project, KL1 and its programming system were ported to Unix-based stock parallel machines. This new system called KLIC is expected to greatly extend the use of highly parallel systems.

Original languageEnglish
Pages (from-to)1601-1633
Number of pages33
JournalParallel Computing
Volume25
Issue number13
DOIs
Publication statusPublished - 1999 Dec
Externally publishedYes

Fingerprint

Parallel programming
Logic programming
Computer systems
Processing
Computer systems programming
Specification languages
Knowledge representation
Computer programming languages
Proteins

ASJC Scopus subject areas

  • Computer Science Applications
  • Hardware and Architecture
  • Control and Systems Engineering

Cite this

Parallel logic programming system in the FGCS project and its future directions. / Uchida, Shunichi; Aiba, Akira; Rokusawa, Kazuaki; Chikayama, Takashi; Hasegawa, Ryuzo.

In: Parallel Computing, Vol. 25, No. 13, 12.1999, p. 1601-1633.

Research output: Contribution to journalArticle

Uchida, Shunichi ; Aiba, Akira ; Rokusawa, Kazuaki ; Chikayama, Takashi ; Hasegawa, Ryuzo. / Parallel logic programming system in the FGCS project and its future directions. In: Parallel Computing. 1999 ; Vol. 25, No. 13. pp. 1601-1633.
@article{b9a2a000dd0f4d34abf7590d9a30686b,
title = "Parallel logic programming system in the FGCS project and its future directions",
abstract = "In the fifth generation computer systems (FGCS) project, a parallel logic programming language, KL1, was adopted as the project's kernel language. It was not only used to determine architectures of highly parallel machines called parallel inference machines (PIMs) consisting of about 1000 element processors but also used as a system description language to develop basic software such as a parallel operating system (PIMOS), and symbolic processing and knowledge processing application systems such as knowledge description languages, a parallel theorem prover, and a protein sequence analysis program. It achieved great success in exploiting of parallelism involved in several important application systems. The prototype of the FGCS attained a linear speed-up that was proportional to the number of processing elements (PEs) for the application systems we had targeted. The MGTP parallel theorem prover was one of such application systems, and can prove theorems based on full first-order logic. Thus, it indicates the possibility of designing a new practical knowledge representation language whose expressive power will be much greater than that of conventional ones. In the FGCS follow-on project, KL1 and its programming system were ported to Unix-based stock parallel machines. This new system called KLIC is expected to greatly extend the use of highly parallel systems.",
author = "Shunichi Uchida and Akira Aiba and Kazuaki Rokusawa and Takashi Chikayama and Ryuzo Hasegawa",
year = "1999",
month = "12",
doi = "10.1016/S0167-8191(99)00075-7",
language = "English",
volume = "25",
pages = "1601--1633",
journal = "Parallel Computing",
issn = "0167-8191",
publisher = "Elsevier",
number = "13",

}

TY - JOUR

T1 - Parallel logic programming system in the FGCS project and its future directions

AU - Uchida, Shunichi

AU - Aiba, Akira

AU - Rokusawa, Kazuaki

AU - Chikayama, Takashi

AU - Hasegawa, Ryuzo

PY - 1999/12

Y1 - 1999/12

N2 - In the fifth generation computer systems (FGCS) project, a parallel logic programming language, KL1, was adopted as the project's kernel language. It was not only used to determine architectures of highly parallel machines called parallel inference machines (PIMs) consisting of about 1000 element processors but also used as a system description language to develop basic software such as a parallel operating system (PIMOS), and symbolic processing and knowledge processing application systems such as knowledge description languages, a parallel theorem prover, and a protein sequence analysis program. It achieved great success in exploiting of parallelism involved in several important application systems. The prototype of the FGCS attained a linear speed-up that was proportional to the number of processing elements (PEs) for the application systems we had targeted. The MGTP parallel theorem prover was one of such application systems, and can prove theorems based on full first-order logic. Thus, it indicates the possibility of designing a new practical knowledge representation language whose expressive power will be much greater than that of conventional ones. In the FGCS follow-on project, KL1 and its programming system were ported to Unix-based stock parallel machines. This new system called KLIC is expected to greatly extend the use of highly parallel systems.

AB - In the fifth generation computer systems (FGCS) project, a parallel logic programming language, KL1, was adopted as the project's kernel language. It was not only used to determine architectures of highly parallel machines called parallel inference machines (PIMs) consisting of about 1000 element processors but also used as a system description language to develop basic software such as a parallel operating system (PIMOS), and symbolic processing and knowledge processing application systems such as knowledge description languages, a parallel theorem prover, and a protein sequence analysis program. It achieved great success in exploiting of parallelism involved in several important application systems. The prototype of the FGCS attained a linear speed-up that was proportional to the number of processing elements (PEs) for the application systems we had targeted. The MGTP parallel theorem prover was one of such application systems, and can prove theorems based on full first-order logic. Thus, it indicates the possibility of designing a new practical knowledge representation language whose expressive power will be much greater than that of conventional ones. In the FGCS follow-on project, KL1 and its programming system were ported to Unix-based stock parallel machines. This new system called KLIC is expected to greatly extend the use of highly parallel systems.

UR - http://www.scopus.com/inward/record.url?scp=0033285364&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0033285364&partnerID=8YFLogxK

U2 - 10.1016/S0167-8191(99)00075-7

DO - 10.1016/S0167-8191(99)00075-7

M3 - Article

VL - 25

SP - 1601

EP - 1633

JO - Parallel Computing

JF - Parallel Computing

SN - 0167-8191

IS - 13

ER -