A PROCEDURAL SEMANTICS OF THE LPS PROGRAMS
LPS程序的过程语义

To study the Non-INF relational model, G. M. Kuper proposed the LPS language. Based the LPS language,a procedural semantics with mgu s are introduced ,and we implamented the LPS language using meta-interpreter method.