A Type Inference System for Prolog

@inproceedings{Xu1988ATI,
  title={A Type Inference System for Prolog},
  author={Jiyang Xu and David Scott Warren},
  booktitle={ICLP/SLP},
  year={1988}
}