Skip to main content

2 Result(s)

within João Barbosa Remove this filter Computer Science Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Typed SLD-Resolution: Dynamic Ty** for Logic Programming

    The semantic foundations for logic programming are usually separated into two different approaches. The operational semantics, which uses SLD-resolution, the proof method that computes answers in logic program...

    João Barbosa, Mário Florido… in Logic-Based Program Synthesis and Transfor… (2022)

  2. No Access

    Chapter and Conference Paper

    Data Type Inference for Logic Programming

    In this paper we present a new static data type inference algorithm for logic programming. Without the need for declaring types for predicates, our algorithm is able to automatically assign types to predicates...

    João Barbosa, Mário Florido… in Logic-Based Program Synthesis and Transfor… (2022)