Title: A proposal for a Prolog binding to GKS