Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project

    Research output: Contribution to journalArticle

    Abstract

    The technical goal of the Fifth Generation Computer Systems (FGCS) project (1982-1993) was to develop Parallel Inference technologies, namely systematized technologies for realizing knowledge information processing on top of parallel computer architecture. The Logic Programming paradigm was adopted as the central working hypothesis of the project. At the same time, building a large-scale Parallel Inference Machine (PIM) meant to develop a novel form of general-purpose computing technologies that are powerful enough to express various parallel algorithms and to describe a full operating system of PIM. Accordingly, the research goal of the Kernel Language was set to designing a concurrent and parallel programming language under the working hypothesis of Logic Programming. The aim of this article is to describe the design process of the Kernel Language (KL1) in the context of related programming models in the 1980s, the essence of Concurrent Logic Programming and Constraint-Based Concurrency, and how the technologies we developed in those days evolved after their conception.

    Original languageEnglish
    JournalScience of Computer Programming
    DOIs
    Publication statusAccepted/In press - 2017

    Fingerprint

    Logic programming
    Parallel programming
    Computer architecture
    Computer operating systems
    Parallel algorithms
    Computer programming languages
    Computer systems

    Keywords

    • Concurrent Logic Programming
    • Constraint-Based Concurrency
    • Fifth Generation Computer Systems project
    • Logic Programming

    ASJC Scopus subject areas

    • Software

    Cite this

    @article{715c365c1eca4ba8a5be37cb27c83323,
    title = "Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project",
    abstract = "The technical goal of the Fifth Generation Computer Systems (FGCS) project (1982-1993) was to develop Parallel Inference technologies, namely systematized technologies for realizing knowledge information processing on top of parallel computer architecture. The Logic Programming paradigm was adopted as the central working hypothesis of the project. At the same time, building a large-scale Parallel Inference Machine (PIM) meant to develop a novel form of general-purpose computing technologies that are powerful enough to express various parallel algorithms and to describe a full operating system of PIM. Accordingly, the research goal of the Kernel Language was set to designing a concurrent and parallel programming language under the working hypothesis of Logic Programming. The aim of this article is to describe the design process of the Kernel Language (KL1) in the context of related programming models in the 1980s, the essence of Concurrent Logic Programming and Constraint-Based Concurrency, and how the technologies we developed in those days evolved after their conception.",
    keywords = "Concurrent Logic Programming, Constraint-Based Concurrency, Fifth Generation Computer Systems project, Logic Programming",
    author = "Kazunori Ueda",
    year = "2017",
    doi = "10.1016/j.scico.2017.06.002",
    language = "English",
    journal = "Science of Computer Programming",
    issn = "0167-6423",
    publisher = "Elsevier",

    }

    TY - JOUR

    T1 - Logic/Constraint Programming and Concurrency

    T2 - The hard-won lessons of the Fifth Generation Computer project

    AU - Ueda, Kazunori

    PY - 2017

    Y1 - 2017

    N2 - The technical goal of the Fifth Generation Computer Systems (FGCS) project (1982-1993) was to develop Parallel Inference technologies, namely systematized technologies for realizing knowledge information processing on top of parallel computer architecture. The Logic Programming paradigm was adopted as the central working hypothesis of the project. At the same time, building a large-scale Parallel Inference Machine (PIM) meant to develop a novel form of general-purpose computing technologies that are powerful enough to express various parallel algorithms and to describe a full operating system of PIM. Accordingly, the research goal of the Kernel Language was set to designing a concurrent and parallel programming language under the working hypothesis of Logic Programming. The aim of this article is to describe the design process of the Kernel Language (KL1) in the context of related programming models in the 1980s, the essence of Concurrent Logic Programming and Constraint-Based Concurrency, and how the technologies we developed in those days evolved after their conception.

    AB - The technical goal of the Fifth Generation Computer Systems (FGCS) project (1982-1993) was to develop Parallel Inference technologies, namely systematized technologies for realizing knowledge information processing on top of parallel computer architecture. The Logic Programming paradigm was adopted as the central working hypothesis of the project. At the same time, building a large-scale Parallel Inference Machine (PIM) meant to develop a novel form of general-purpose computing technologies that are powerful enough to express various parallel algorithms and to describe a full operating system of PIM. Accordingly, the research goal of the Kernel Language was set to designing a concurrent and parallel programming language under the working hypothesis of Logic Programming. The aim of this article is to describe the design process of the Kernel Language (KL1) in the context of related programming models in the 1980s, the essence of Concurrent Logic Programming and Constraint-Based Concurrency, and how the technologies we developed in those days evolved after their conception.

    KW - Concurrent Logic Programming

    KW - Constraint-Based Concurrency

    KW - Fifth Generation Computer Systems project

    KW - Logic Programming

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

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

    U2 - 10.1016/j.scico.2017.06.002

    DO - 10.1016/j.scico.2017.06.002

    M3 - Article

    AN - SCOPUS:85021743230

    JO - Science of Computer Programming

    JF - Science of Computer Programming

    SN - 0167-6423

    ER -