Efficient Analysis of Logic Programs with Dynamic Scheduling.
Maria J. García de la BandaKim MarriottPeter J. StuckeyPublished in: ILPS (1995)
Keyphrases
- logic programs
- logic programming
- dynamic scheduling
- stable models
- answer sets
- fixpoint
- term rewriting systems
- inductive logic programming
- programming language
- artificial intelligence
- computational properties
- normal logic programs
- deductive databases
- database systems
- flexible manufacturing systems
- databases
- stable model semantics
- prolog programs
- partial deduction
- database