[null, {"document_url": "https://link.springer.com/chapter/10.1007%2F3-540-60360-3_43", "unformatted_src": "https://media.springernature.com/w306/springer-static/cover/book/978-3-540-45050-4.jpg", "src": "https://media.springernature.com/w306/springer-static/cover/book/978-3-540-45050-4.jpg"}, null]


Static Analysis International Static Analysis Symposium

SAS 1995: Static Analysis pp 243-260 | Cite as

Unification-free execution of well-moded and well-typed Prolog programs

Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 983)


In this paper, a static analysis of Prolog programs has been proposed to improve the efficiency by replacing run-time unification with matching. Programs for which run-time unification can be replaced by matching are called unification-free programs. We propose a set of sufficient conditions for unification-freedom improving the existing results and discuss the application of our results in improving WAM code of Prolog programs. Permutation and PRESS (a system developed at Edinburgh for solving symbolic equations) and programs flatten-dl, quick-sort-dl using difference-lists are example programs which can be handled by our results but not by the earlier results.


Logic Program Output Position Output Term Prolog Program Type Judgement





© Springer-Verlag Berlin Heidelberg 1995



Rao M.R.K.K., Shyamasundar R.K. (1995) Unification-free execution of well-moded and well-typed Prolog programs. In: Mycroft A. (eds) Static Analysis. SAS 1995. Lecture Notes in Computer Science, vol 983. Springer, Berlin, Heidelberg





