# Directional Type Checking of Logic Programs

### Alexander Aiken and T.K. Lakshman

###
EECS Department

University of California, Berkeley

Technical Report No. UCB/CSD-94-791

1994

### http://www.eecs.berkeley.edu/Pubs/TechRpts/1994/CSD-94-791.pdf

We present an algorithm for automatic type checking of logic programs with respect to directional types that describe both the structure of terms and the directionality of predicates. The type checking problem is reduced to a decidable problem on systems of inclusion constraints over set expressions. We discuss some properties of the reduction algorithm, complexity, and present a proof of correctness.

BibTeX citation:

@techreport{Aiken:CSD-94-791, Author = {Aiken, Alexander and Lakshman, T.K.}, Title = {Directional Type Checking of Logic Programs}, Institution = {EECS Department, University of California, Berkeley}, Year = {1994}, URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1994/6318.html}, Number = {UCB/CSD-94-791}, Abstract = {We present an algorithm for automatic type checking of logic programs with respect to directional types that describe both the structure of terms and the directionality of predicates. The type checking problem is reduced to a decidable problem on systems of inclusion constraints over set expressions. We discuss some properties of the reduction algorithm, complexity, and present a proof of correctness.} }

EndNote citation:

%0 Report %A Aiken, Alexander %A Lakshman, T.K. %T Directional Type Checking of Logic Programs %I EECS Department, University of California, Berkeley %D 1994 %@ UCB/CSD-94-791 %U http://www.eecs.berkeley.edu/Pubs/TechRpts/1994/6318.html %F Aiken:CSD-94-791