Logic Programming and Soft Computing