Evaluation of structure charts: a logic programming approach
Tsong Yueh Chen, C. S. Kwok, WH Tang, T.H. Tse · 1991
We apply the techniques of logic programming to evaluate structure charts. We find that structure charts can be represented naturally in Prolog, and useful information can be derived in a straightforward manner. Standard techniques in the evaluation of structure charts can be formalized, and a few previous problems can be solved easily.