Syntax and Semantics of CR-Prolog Oct 5, 2011 14:50:10 GMT -5 Quote Select PostDeselect PostLink to PostMemberGive GiftBack to Top Post by KRLab Admin on Oct 5, 2011 14:50:10 GMT -5 The attached document summarizes the current definitions of the syntax and semantics of CR-Prolog. Attachments: