A good introduction to concurrent logic languages:

Parlog86 and the dining logicians G. A. Ringwood Communications of the ACM January 1988 https://doi.org/10.1145/35043.35044

https://dl.acm.org/doi/10.1145/35043.35044