Publication Type:

Conference Proceedings

Source:

Second International Conference Computer Paradigms(ICCP 2016), International Journal of Control Theory and Applications, Volume 9, Number 10, p.4563-4574 (2016)

URL:

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84989235009&partnerID=40&md5=8f6fe5b9c7476767c424ec3e7e8bc218

Abstract:

While designing programming environments, one should consider a very easily understandable way to explain it to the user how their program works. For a programmer who migrates from a procedure oriented language to a logic programming language like Prolog, it is difficult to understand the search strategy used while it derives new information from the existing knowledge base. But for a Prolog programmer it is essential to understand how the unification and searching process are done in order to write and debug programs. Here, a tool which can graphically show the order in which Prolog searches and backtracks for the answer of a particular query is presented. To understand the program execution, a model of the programming language is essential. For that, the model should include some information about the search space, the flow of control through the search space and the Prolog clauses. The proposed system will be helpful for the teaching purpose. The graphical representation of these Prolog trace is very much helpful for the learner to understand how the query has been traced from the whole knowledge base. Instead of showing only the correct path, the system could show failed paths also. It is mainly intended to make the students understand, how the Prolog trace works. © International Science Press.

Notes:

cited By 0

Cite this Research Publication

Indulekha T.S., Nair, A. G., and Harikesh, P., “Graphical representation of prolog traces”, Second International Conference Computer Paradigms(ICCP 2016), International Journal of Control Theory and Applications, vol. 9. pp. 4563-4574, 2016.