Original language | English |
---|---|
Pages (from-to) | 125-154 |
Number of pages | 30 |
Journal | Theory and Practice of Logic Programming |
Volume | 2 |
DOIs | |
Publication status | Published - Mar 2002 |
Keywords
- dynamic scheduling
- termination
- LOGIC PROGRAMS
- DELAY DECLARATIONS
- PROLOG PROGRAMS
- TERMINATION
- SEMANTICS