Can I read Regular Typed Unification on EtoBox?

Regular Typed Unification by Barbosa, João; Florido, Mário; Costa, Vítor Santos is a scholarly article available to read on EtoBox.

What is Regular Typed Unification about?

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 our intention not to handle the semantic universe as a homogeneous collection of values, but instead, to partition it in a way that is similar to data types in programming languages. We first define the new unification algorithm which is based on constraint generation and constraint solving, and then prove its main properties: termination, soundness, and completeness with respect to the semantics. Finally, we discuss how to apply this algorithm to a dynamically typed version of Prolog.

Author

Barbosa, João; Florido, Mário; Costa, Vítor Santos

Published

2024

Language

EN