Conclog: A Methodological Approach to Concurrent Logic Programming