Concurrent Logic Programming Purpose