Parallel And Distributed Logic Programming by Amit Konar, Alakananda Bhattacharya & Ajit K. Mandal