VDict mobile



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