He proposed a new concurrent logic programming language called Concurrent Prolog .
Concurrent Prolog is not efficient in realizing the atomic unification that is the origin of its expressiveness.
Ehud Shapiro proposed Concurrent Prolog that year, which was a more flexible alternative to Relational Language that featured read-only unification.
Concurrent Prolog) The core part of KL1 should be based on Concurrent Prolog, but should support search problems and metaprogramming as well.
Concurrent Prolog was conceived as an extension(1) of Prolog to introduce programmer-controlled concurrency .
Shapiro and Takeuchi  had written a paper about how Concurrent Prolog could be used as an actor or concurrent object language.
Near the end of 1982, Ehud Shapiro visited ICOT with his idea of Concurrent Prolog
GHC is based on ideas used in Relational Language , Concurrent Prolog
 and Parlog .
In order to get a comparably concise solution in CLP, Shapiro needs to jettison Flat Concurrent Prolog
(his own invention) and introduce us to the super-duper new logic language FCP(arrow pointing up), which is a variant of Saraswat's FCP(arrow pointing down), which is in turn a variant of FCP.
Several years ago we published a brief discussion contrasting Concurrent Prolog
with Linda, but new developments make a comparison between Linda and some of the Parlog86 solutions recently featured in Communications seem desirable.
This account is not intended to be comparative but pedagogical, so that the features of other concurrent logic programming languages such as Concurrent Prolog  and GHC  and previous manifestations of Parlog that might confuse the initiate are postponed until the end of the article.
The restoration in Concurrent Prolog was motivated more by idealism than practicality.