Back to Results
First PageMeta Content
Rules of inference / Logic programming / B-Prolog / SLD resolution / Prolog / Datalog / Computer program / Resolution / XSB / Computing / Software engineering / Computer programming


Document Date: 2003-09-03 10:42:12

Open Document

File Size: 171,33 KB

Share Result on Facebook
UPDATE