I've only skimmed through but from the author's affiliation and the year of publication I think this may well have been one of the parallel logic programming languages that were originally proposed for Japan's Fifth Generation Computer project:<p><i>The Fifth Generation Computer Systems (FGCS) was an initiative by Japan's Ministry of International Trade and Industry (MITI), begun in 1982, to create computers using massively parallel computing and logic programming. It was to be the result of a massive government/industry research project in Japan during the 1980s. It aimed to create an "epoch-making computer" with supercomputer-like performance and to provide a platform for future developments in artificial intelligence. </i><p><a href="https://en.wikipedia.org/wiki/Fifth_generation_computer" rel="nofollow">https://en.wikipedia.org/wiki/Fifth_generation_computer</a><p>Edit: Oh, I see. GHC was a precursor of the logic programming language ultimately adopted as the FGC's core language:<p><i>Shapiro's work on Concurrent Prolog inspired a change in the direction of the FGCS from focusing on parallel implementation of Prolog to the focus on concurrent logic programming as the software foundation for the project. It also inspired the concurrent logic programming language Guarded Horn Clauses (GHC) by Ueda, which was the basis of KL1, the programming language that was finally designed and implemented by the FGCS project as its core programming language.</i><p>(Same source as above)<p>Edit 2: Another hint is in the name of the publication this appeared in: *Programming of Future Generation Computers*. A few publications from that time had titles like "New Generation Computing" etc. and the project was launched and managed by the "Institute for New Generation Computer Technology". So basically everything with "new generation" or "future generation" etc. in its title from that time is likely to have been part of the FGCS project.<p>This is a brilliant little piece of logic programming history - thnanks for posting!