Logic programming with arrays

Glasgow, Janice I.; Jenkins, M. A.; Blevis, E.; Féret, Michel P.

doi:10.1109/69.91061

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1991

1999

Publication Types

Select...

Article3

Book2

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 7 publications

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Nlog [ 14] is an integrated functional and logic language that also includes an explicit assignment operation. Arrays are handled by the functional fragment of the language.…”

Section: Introductionmentioning

confidence: 99%

Querying datalog with arrays: Design and implementation issues

Greco

Palopoli

Spadafora³

1996

Journal of Systems Integration

View full text Add to dashboard Cite

Abstract. This paper deals with the implementation of logic queries where array structures are manipulated. Both top-down and bottom-up implementations of the presented logic language, called Datalog A, are considered. Indeed, SLD-resolution is generalized to realize Datalog A top-down query answering. Further, a fixpoint based evaluation of Datalog A queries is introduced, which forms the basis for efficient bottom-up implementation of queries obtained by generalizing rewriting techniques such as magic set method to the case of Datalog A programs.

show abstract

“…Nlog [ 14] is an integrated functional and logic language that also includes an explicit assignment operation. Arrays are handled by the functional fragment of the language.…”

Section: Introductionmentioning

confidence: 99%