On the Computational Complexity of Prolog Programs.
Alexander Ja. DikovskyPublished in: Theor. Comput. Sci. (1993)
Keyphrases
- prolog programs
- computational complexity
- logic programs
- np complete
- computational cost
- decision problems
- special case
- np hard
- low complexity
- databases
- explanatory power
- high computational complexity
- memory requirements
- bit rate
- logic programming
- computationally efficient
- rate distortion
- computational efficiency
- constraint satisfaction
- distributed systems
- storage requirements
- computational load
- control flow
- multi agent
- computer vision
- database