2 papers
cs.LO2026
MaudeTypedLog: A Typed Interpreter for Prolog in Maude
Enrique Gallifa-Tronch, João Barbosa, Santiago Escobar
Prolog is traditionally thought of as an untyped logic programming language, although there are queries that result in a type error. Several attempts of statically introducing a ty…
cs.LO2025
Regular Typed Unification
João Barbosa, Mário Florido, VÃtor Santos Costa
Here we define a new unification algorithm for terms interpreted in semantic domains denoted by a subclass of regular types here called deterministic regular types. This reflects o…