中图分类法:	TP311.1 版次：
著者:	Andrews, James H.
题名:	Logic programming : [ operational semantics and proof theory /] / ,
出版发行:	出版地： Cambridge ; 出版社： Cambridge University Press, 出版日期： 1992.
载体形态:	xi, 104 p. : ill. ; 26 cm.
附注:	First paperback edition 2004.
主题词:	Logic programming.
主题词:	Programming languages (Electronic computers) Semantics.
主题词:	Automatic theorem proving.