A Proposal for a Distributed Model of GKS Based on Prolog