Back to Results
First PageMeta Content
Mathematical logic / Programming idioms / Logic programming / Prolog / Deductive database / Clause / Stratification / Horn clause / Recursion / Computer programming / Software engineering / Computing


Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand
Add to Reading List

Document Date: 2010-06-14 20:29:16

Open Document

File Size: 198,86 KB

Share Result on Facebook

City

Auckland / Springer-Verlag / /

Country

Singapore / New Zealand / /

/

Facility

Computer Science The University of Waikato Private Bag / /

IndustryTerm

good software / bottom-up deductive database systems / bottom-up deductive database technology / /

Organization

University of Waikato Private Bag / Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department / /

Person

Ti / Body / Donald A. Smith Mark Utting / /

Position

Prolog interpreter for semi-naive evaluation / Prolog Interpreter / head / interpreter / programmer / /

ProgrammingLanguage

Prolog / /

Technology

T-1 / bottom-up deductive database technology / /

SocialTag