caa a22 4500 467988706 CHVBK 20180323112539.0 cr unu---uuuuu 170328e19900201xx s 000 0 eng 10.1007/BF03037204 doi (NATIONALLICENCE)springer-10.1007/BF03037204 A new external reference management and distributed unification for KL1 [Elektronische Daten] [Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima, Yu Inamura] This paper describes a new external reference management scheme for KL1, a committed choice logic programming language based on GHC. The significance of the new scheme is that it realizes incremental inter-processor garbage collection. Previous distributed implementations of committed choice languages had not seriously addressed inter-processor garbage collection. Incremental inter-precessor garbage collection is realized by the Weighted Export Counting (WEC). It is a first attempt to use the weighted reference counting technique in logic programming language implementation, and is also new in that it has introduced export and import tables for making independent local garbage collection possible and reducing the number of inter-processor read requests. The problems with exhaustion of reference counts and indirect exportation are discussed. Since the binding order rule adopted in our previous implementation for avoiding creation of reference loops is insufficient in the presence of indirect exportation, a new binding order rule is introduced. We prove that avoidance of reference loops is guaranteed and also prove that the unification procedure always terminates for non-circular structures. Ohmsha, Ltd. and Springer, 1990 Loosely-coupled Multiprocessor nationallicence Concurrent Logic Language nationallicence Implementation nationallicence Inter-processor Garbage Collection nationallicence Weighted Export Counting nationallicence Distributed Unification nationallicence Ichiyoshi Nobuyuki Institute for New Generation Computer Technology, 4-28, Mita 1-chome, Minato-ku, 108, Tokyo, Japan aut Rokusawa Kazuaki Institute for New Generation Computer Technology, 4-28, Mita 1-chome, Minato-ku, 108, Tokyo, Japan aut Nakajima Katsuto Institute for New Generation Computer Technology, 4-28, Mita 1-chome, Minato-ku, 108, Tokyo, Japan aut Inamura Yu Institute for New Generation Computer Technology, 4-28, Mita 1-chome, Minato-ku, 108, Tokyo, Japan aut New Generation Computing Springer-Verlag 7/2-3(1990-02-01), 159-177 0288-3635 7:2-3<159 1990 7 354 https://doi.org/10.1007/BF03037204 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF03037204 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Ichiyoshi Nobuyuki Institute for New Generation Computer Technology, 4-28, Mita 1-chome, Minato-ku, 108, Tokyo, Japan aut NATIONALLICENCE 700 1- Rokusawa Kazuaki Institute for New Generation Computer Technology, 4-28, Mita 1-chome, Minato-ku, 108, Tokyo, Japan aut NATIONALLICENCE 700 1- Nakajima Katsuto Institute for New Generation Computer Technology, 4-28, Mita 1-chome, Minato-ku, 108, Tokyo, Japan aut NATIONALLICENCE 700 1- Inamura Yu Institute for New Generation Computer Technology, 4-28, Mita 1-chome, Minato-ku, 108, Tokyo, Japan aut NATIONALLICENCE 773 0- New Generation Computing Springer-Verlag 7/2-3(1990-02-01), 159-177 0288-3635 7:2-3<159 1990 7 354 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer