2k citations
- Centro de Astrofísica da Universidade do PortoPT47 papers
- Centre National de la Recherche ScientifiqueFR21 papers
- University of CambridgeGB19 papers
- University of MinhoPT15 papers
- Universidade Federal da ParaíbaBR12 papers
- California Institute of TechnologyUS9 papers
- European Southern ObservatoryCL9 papers
- Instituto de Astrofísica de CanariasES9 papers
- Instituto de Ciencia de Materiales de MadridES9 papers
- University of CoimbraPT9 papers
- Aarhus UniversityDK8 papers
- Instituto Superior TécnicoPT8 papers
Showing 2011 · cs.PLShow all
3 papers · 2 filters
cs.PL2011★ 1 cited
Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs
Flavio Cruz, Ricardo Rocha
Tabled evaluation is an implementation technique that solves some problems of traditional Prolog systems in dealing with recursion and redundant computations. Most tabling engines…
cs.PL2011★ 2 cited
A structured alternative to Prolog with simple compositional semantics
António Porto
Prolog's very useful expressive power is not captured by traditional logic programming semantics, due mainly to the cut and goal and clause order. Several alternative semantics hav…
cs.PL2011★ 3 cited
A Design and Implementation of the Extended Andorra Model
Ricardo Lopes, Vítor Santos Costa, Fernando Silva
Logic programming provides a high-level view of programming, giving implementers a vast latitude into what techniques to explore to achieve the best performance for logic programs.…