Skip to search formSkip to main contentSkip to account menu

KL1

KL1, or Kernel Language 1 is an experimental AND-parallel version of KL0 developed for the ICOT Fifth Generation Computer project. KL1 is an… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Concurrent logic programmingKL0Prolog

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2001
2001
A program dependence model for concurrent logic programs and its applications
The authors propose a program dependence model for concurrent logic programs. They present three types of primary program… 
1999
1999
Linearity Analysis of Concurrent Logic Programs
  • K. Ueda
  • WOID@ICLP
  • 1999
  • Corpus ID: 5206220
1999
1999
Road Infrastructure Management PerformanceCross-Linking Session KL1
The introduction is based on a description of an approach to pavement structure design which ensure a safe and comfortable… 
1998
1998
On the Relationship Between Non-Horn Magic Sets and Relevancy Testing
Model-generation based theorem provers such as SATCHMO and MGTP suffer from a combinatorial explosion of the search space caused… 
1997
1997
Slicing Concurrent Logic Programs
Program slicing has been widely studied for imperative programs, but for logic programs it is just starting. In this paper we… 
1995
1995
Model Generation Theorem Proving with Interval Constraints
We investigate how the deduction paradigm of model generation theorem proving can be enhanced with interval-and extraval-based… 
Review
1995
Review
1995
Programming In Concurrent Logic Languages
The authors survey concurrent logic languages, which expand Prolog by dropping its built-in sequential search order. These… 
1995
1995
Derivation of Concurrent Algorithms in Tempo
Tempo is a logic programming language that has recently been designed with the aim of allowing concurrent programs to be written… 
1993
1993
Message-oriented parallel implementation of Moded Flat GHC
We proposed in Ref. 5) a new,message-oriented implementation technique for Moded Flat GHC that compiled unification for data… 
Review
1993
Review
1993
An overview and appraisal of the Fifth Generation Computer System project
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)