On Types and Type Consistency in Logic Programming (Dissertations in Artificial Intelligence-Infix, 235)