The Expressive Power of Side Effects in Prolog.

Johann A. Makowsky J.-C. Gregoire Shmuel Sagiv

Published in: J. Log. Program. (1992)

Keyphrases

expressive power
first order logic
data complexity
query language
logic programming
transitive closure
relational algebra
computational properties
expert systems
logic programs
knowledge representation
pattern queries
artificial intelligence
aggregate functions
relation algebra
constraint query languages