Concurrency in Prolog Using Threads and a Shared Database.

Manuel Carro, Manuel V. Hermenegildo

Browse the full ICLP paper archive.