Programming in Prolog
Communications of the ACM
Describing Prolog by its interpretation and compilation
Communications of the ACM
Hi-index | 0.00 |
In this paper an exemplary approach to the education of rule-oriented languages will be presented and a method will be proposed to organize lectures on rule-oriented languages.The author of this paper developed the SIEGER-System, which serves as an assistance for such lectures. It is the implementation of a practical rule-based system using PROLOG, a rule-based language.The system is excellently suitable to show the analogy of the metalingual rule-system description and the formal PROLOG definition, and the equality of the natural way of the system usage and the automatic PROLOG-backtracking algorithm.For this reason the above mentioned exemplary approach in connection with this system is outstandingly appropriate for the education of computer science students.