Submitted on: 19 June 2004.
Revised on: 07 July 2004.
Accepted on: 21 July 2004.
THEORY AND PRACTICE OF LOGIC PROGRAMMING
http://reply.papertrans.cn/3/295/29419/29419-22.png
http://reply.papertrans.cn/3/295/29419/29419-23.png
http://reply.papertrans.cn/3/295/29419/29419-24.png
Submitted on: 07 September 2012.
Revised on: 16 September 2012.
Accepted on: 08 October 2012.
THEORY AND PRACTICE OF LOGIC PROGRAMMING
http://reply.papertrans.cn/3/295/29419/29419-26.png
http://reply.papertrans.cn/3/295/29419/29419-27.png
http://reply.papertrans.cn/3/295/29419/29419-28.png
http://reply.papertrans.cn/3/295/29419/29419-29.png
http://reply.papertrans.cn/3/295/29419/29419-30.png