Towards full prolog on a distributed architecture | Publicación