Quty: A Concurrent Language Based on Logic and Function.

Masahiko Sato

Browse the full ICLP paper archive.