Tabled Logic Programs: Principles, Practice and Applications
Ramakrishnan, C, I. V. Ramakrishnan, Konstantinos Sagonas, Theresa M. Swift, David Scott Warren · DSpace - NTUA (National Technical University of Athens) · 1996
Compilation (e.g.,see [35, 53])-- From a given source (concrete) program, obtain an abstract program.-- Concrete semantics of abstract programjabstract semantics of concrete program.-- Evaluate abstract program using some complete evaluationstrategy.34Applications: Program AnalysisExample: Groundness Analysis (from [25])append([],Ys,Ys).append([X---Xs],Ys,[X---Zs]) :- append(Xs,Ys,Zs).+gappend(g,Y,Y).gappend(X1,Ys,Z1) :- iff(X1,X,Xs), iff(Z1,X,Zs),...