Semantics of RIF-PRD

Dear RIFers

There is a paper [FIT02] listed in the PRD spec but not explicitly
cited (an editorial mistake?). Is it the basis upon which the PRD
operational semantics is designed? If the PRD is syntactically
restricted to RIF-Core with negations (thus, no retraction or
modification actions), will the operational semantics match the
fixpoint semantics?

[FIT02] Fixpoint Semantics for Logic Programming: A Survey, Melvin
Fitting, Theoretical Computer Science. Vol. 278, no. 1-2, pp. 25-51. 6
May 2002.

Thanks in advance!

Jie

-----
Jie Bao
Tetherless World Constellation
Rensselaer Polytechnic Institute
baojie@cs.rpi.edu
http://www.cs.rpi.edu/~baojie

Received on Monday, 9 August 2010 00:08:35 UTC