Concurrent Logic Programming In Artificial Intelligence