Text this: A parallel logic programming system based on BaLinda Lisp :