Objective: In Minimum Context

  title={Objective: In Minimum Context},
  author={Salvador Abreu and Daniel Diaz},
The current proposals for the inclusion of modules in the ISO Prolog standard are not very consensual. Since a program-structuring feature is required for a production programming language, several alternatives have been explored over the years. In this article we recall and expand on the concepts of Contextual Logic Programming, a powerful and simple mechanism which addresses the general issue of modularity in Logic Programs. We claim that unit arguments are an essential addition to this… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS