A direct execution PROLOG system

  • Authors:

  • Loke-Soo Hsu

  • Affiliations:

  • Department of Information Systems and Computer Science, National University of Singapore, Singapore 0511, Republic of Singapore

  • Venue:
  • Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
  • Year:
  • 1985

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents a direct execution PROLOG system. It does syntax check at token level and reports errors even before a clause is completed. It does consistency checking whenever rules and facts are entered, and waits for corrective action from the user so that errors cannot snowball. The user can trace the unification process in detail. He can examine the backtracking path and/or the value of the instantiated variables at any point. The system is written in PASCAL.