Concurrent Logic Programming, Metaprogramming, and Open Systems