Planning for an Efficient Implementation of Hypothetical Bousi~Prolog | Publicación