Towards Parameterized Regular Type Inference Using Set Constraints

F. Bueno, J. Navas, M. Hermenegildo

We propose a method for inferring \emph{parameterized regular types} for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set const…