论文信息 - A Portable and Efficient Implementation of KL1

A Portable and Efficient Implementation of KL1

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 introduced to the scheme, which allows adding new data types and their manipulation without even slightly changing the core implementation. Parallel implementations can also be built upon it.

Takashi Chikayama | Tetsuro Fujise | Daigo Sekita

[1] Kazunori Ueda,et al. Design of the Kernel Language for the Parallel Inference Machine , 1990, Computer/law journal.

[2] Hiroyuki Sato,et al. Overview of the Parallel Inference Machine Operating System (PIMOS) , 1988, FGCS.

[3] Koen De Bosschere,et al. jc: An Efficient and Portable Sequential Implementation of Janus , 1992, JICSLP.

[4] Kenneth M. Kahn,et al. Janus: A step towards distributed constraint programming , 1990, NACLP.

[5] Akira Matsumoto,et al. Overview of the Parallel Inference Machine Architecture (PIM) , 1988, FGCS.

[6] Mats Carlsson,et al. SICStus Prolog User''s Manual , 1993 .