2 papers
cs.PL2021
Data Type Inference for Logic Programming
João Barbosa, Mário Florido, Vítor Santos Costa
In this paper we present a new static data type inference algorithm for logic programming. Without the need of declaring types for predicates, our algorithm is able to automaticall…
cs.LO2019
A Three-Valued Semantics for Typed Logic Programming
João Barbosa, Mário Florido, Vítor Santos Costa
Types in logic programming have focused on conservative approximations of program semantics by regular types, on one hand, and on type systems based on a prescriptive semantics def…