Name
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. |
Year | DOI | Venue |
|---|---|---|
1985 | 10.1145/317164.317191 | Proceedings of the 1985 ACM SIGSMALL symposium on Small systems |
Keywords | DocType | ISBN |
reports error,corrective action,consistency checking,instantiated variable,direct execution prolog system,token level,unification process,syntax check,backtracking path | Conference | 0-89791-154-7 |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Loke-soo Hsu | 1 | 5 | 3.10 |