Translation of logic programs into functional fixpoint equations (Q1823723)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Translation of logic programs into functional fixpoint equations |
scientific article |
Statements
Translation of logic programs into functional fixpoint equations (English)
0 references
1989
0 references
magic function method
0 references
connection graph
0 references
fixpoint equation
0 references
Tarski's theorem
0 references
recursive queries
0 references
