Title: On Types and Type Consistency in Logic Programming