A concurrent Prolog. "The Concurrent Logic Programming Language CP": Definition and Operational Semantics", V. Saraswat, 14th POPL, ACM 1987, pp.49-62.

In addition suitable contents:
[ 2 ] [ ACM ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ as ] [ at ] [ C ] [ CM ] [ co ] [ con ] [ cu ] [ current ] [ D ] [ er ] [ era ] [ fi ] [ ge ] [ gi ] [ gr ] [ gu ] [ h ] [ in ] [ io ] [ it ] [ M ] [ ma ] [ man ] [ mm ] [ na ] [ nc ] [ ng ] [ ni ] [ O ] [ pe ] [ POP ] [ Prolog ] [ rational ] [ re ] [ ro ] [ S ] [ T ] [ th ] [ ua ] [ V ]