A portable and efficient implementation of KL1

T Chikayama, T Fujise, D Sekita - International Symposium on …, 1994 - Springer
A portable implementation scheme of a concurrent logic programming language KL1 by
compiling it into C language code is investigated. A feature called generic objects was …

Distributed memory implementation of KLIC

K Rokusawa, A Nakase, T Chikayama - New Generation Computing, 1996 - Springer
This paper describes external reference management and distributed unification in a
distributed implementation of a concurrent logic programming language KL1. This …

KLIC: A portable parallel implementation of a concurrent logic programming language

T Chikayama - … Workshop on Parallel Symbolic Languages and …, 1995 - Springer
This paper gives an overview of KLIC, a portable parallel implementation of a concurrent
logic programming language KL1. Its portability is realized by the compilation scheme using …

[PDF][PDF] Compiling and Executing Finite Domain Constraints

B orn Carlson - Uppsala theses in computing science, 1995 - it.uu.se
Carlson, B., 1995. Compiling and Executing Finite Domain Constraints. 175 pp. Uppsala
Theses in Computing Science 21, ISSN 0283-359X, ISBN 91-506-1100-3. SICS Dissertation …

[PDF][PDF] Parallel basic software

T Chikayama - Proceedings of the International Symposium on Fifth …, 1994 - academia.edu
Results of the research and development conducted on parallel basic software in the FGCS
follow-on project are reported. The principal objective of the project is in dissemination of the …

[PDF][PDF] AKL (FD){A concurrent language for FD programming

B orn Carlson, S Haridi, S Janson - 1994 - Citeseer
We consider a complete implementation of an extension of the nite domain constraint
system FD, including antimonotone constraints, and its integration in AKL, a deep-guard …