A programming solution to certain problems with loops in Prolog

  • Authors:

  • Donald Nute

  • Affiliations:

  • University of Georgia, Athens, Georgia

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 1985

Quantified Score

Hi-index 0.00

Visualization

Abstract

Representing transitive relations in the obvious way in Prolog results in unwanted loops. A programming solution to this problem is provided and limitations and possible extension of this solution to other looping problems is discussed.