Search Sciweavers | Sciweavers

143 search results - page 6 / 29

» Termination of Well-Typed Logic Programs

click to vote

ESOP
2001
Springer

122views Programming Languages» more ESOP 2001»

Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling

13 years 12 months ago

Download www.dsi.unive.it

Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...

Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-G...

claim paper

Read More »

click to vote

PODS
1991
ACM

131views Database» more PODS 1991»

Termination Detection in Logic Programs using Argument Sizes

13 years 11 months ago

Download users.soe.ucsc.edu

d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...

Kirack Sohn, Allen Van Gelder

claim paper

Read More »

click to vote

JAPLL
2007

55views more JAPLL 2007»

Termination of logic programs with imperfect information: applications and query procedure

13 years 7 months ago