• Computer Science
  • Published 1996

On the Use of Types in Logic Programming

@inproceedings{Meyer1996OnTU,
  title={On the Use of Types in Logic Programming},
  author={Gregor Meyer},
  year={1996}
}
In procedural and functional languages it is rather clear what a type error is and the main purpose of typing ist to detect programming errors automatically. Furthermore, in these languages the semantics of a program is usually independent of types. Type systems for logic programming languages differ considerably on these aspects. We will show that these differences lead to several theoretical an practical problems. The mixture of static type checking purposes on the one hand and computations… CONTINUE READING