Efficient evaluation of normal logic programs

Authors:
Terrance Lee Swift
Affiliations:
State Univ. of New York at Stony Brook
Venue:
Efficient evaluation of normal logic programs
Year:
1994

Citing 0
Cited 3

An abstract machine for tabled execution of fixed-order stratified logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient implementation of tuple pattern based retrieval

Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Approximate pruning in tabled logic programming

ESOP'03 Proceedings of the 12th European conference on Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract