ProgramsView all programs
From the news
- Chancellor Amma Addresses the Parliament of World’s Religions
- Amrita Students Qualify for the European Mars Rover Challenge
Publication Type : Conference Proceedings
Publisher : Second International Conference Computer Paradigms(ICCP 2016), International Journal of Control Theory and Applications.
Source : Second International Conference Computer Paradigms(ICCP 2016), International Journal of Control Theory and Applications, Volume 9, Number 10, p.4563-4574 (2016)
Campus : Amritapuri
School : School of Engineering
Department : Computer Science
Verified : No
Year : 2016
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.
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