Multi-threading and message communication in Qu-Prolog

DOI10.1017/S147106840100120XzbMath1103.68437OpenAlexW1969061089MaRDI QIDQ4452632

K. L. Clark, Peter J. Robinson, Richard Hagen

Publication date: 1 March 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s147106840100120x

zbMATH Keywords

logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Qu-Prolog

This page was built for publication: Multi-threading and message communication in Qu-Prolog