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.
Review
2017
Review
2017
Impact of Knowledge Sharing and Leakage on Innovative Performance
Organizations share knowledge in order to achieve its strategic objectives and enhance innovative performance, most important… 
2014
2014
The Gromov–Witten invariants of the Hilbert schemes of points on surfaces with pg > 0
In this paper, we study the Gromov–Witten theory of the Hilbert schemes X[n] of points on a smooth projective surface X with… 
1999
1999
Linearity Analysis of Concurrent Logic Programs
  • K. Ueda
  • WOID@ICLP
  • 1999
  • Corpus ID: 5206220
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)