Logic Programming: The Evolving Algebra Approach
Egon Börgera, Yuri Gurevich · 2000
It is with pleasure that I have accepted the invitation to report on the use of evolving algebras in the area of logic programming. Because of the time and space limits, I refer those interested in technical developments to the two Prolog and WAM papers by Dean Rosenzweig and myself [BoeRos94a,94b]. All references are to [?] 2. The best I can do here is to sketch the development of ideas in my work on the subject since 1986. I hope the audience will forgive that this account is largely personal.