The Concurrent Logic Programming Language CP: Definition and Operational Semantics

@inproceedings{Saraswat1987TheCL,
  title={The Concurrent Logic Programming Language CP: Definition and Operational Semantics},
  author={Vijay A. Saraswat},
  booktitle={POPL},
  year={1987}
}
In this paper we present some of the control constructs of the language CP, which is based on a concurrent interpretation of Horn logic programming. We present a formal structural operational semantics and relate the meaning of programs in this language to the underlying (pure) Horn clause axioms.