Pete Sykes

• A proposal for a Prolog binding to GKS