Paper Info
Title
Mutually exclusive rules in logic programming
Abstract
A technique to detect that pairs of rules are "mutually exclusive" in alogic program is described. In contrast to previous work our algorithm derivesmutual exclusion by looking not only on built-in, but also user-definedpredicates. This technique has applications to optimization of the execution ofprograms containing these rules. Additionally, the programmer is less dependenton non-logical language features, such as Prolog's "cut", thus creatingmore opportunities for parallel execution...
Year
Venue
Keywords
1994
ILPS
logic programming,exclusive rule,mutual exclusion,prolog
Field
DocType
ISSN
Functional logic programming,Horn clause,Programming language,Computer science,Inductive programming,Substructural logic,Algorithm,Theoretical computer science,Concurrent constraint logic programming,Prolog,Declarative programming,Logic programming
Conference
1061-0464
ISBN
Citations 
PageRank 
0-262-52191-1
3
0.64
References 
Authors
12
1
Name
Order
Citations
PageRank
Kjell Post1162.48