Logic programming and soft computing - Martin, Trevor P. (Research Studies Press, 1998)