Semantics of infinite tree logic programming

Theoretical Computer Science

Volumn 46, Issue C, 1986, Pages 141-158

  Jaffar, Joxan ^a   Stuckey, Peter J ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - PROGRAMMING THEORY;

INFINITE TREE LOGIC PROGRAMMING; SEMANTICS;

COMPUTER PROGRAMMING;

EID: 0022920511     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(86)90027-7     Document Type: Article

References (13)

1. Metric interpretation and greatest fixpoint semantics of logic programs
2. Prolog and infinite trees
3. PROLOG II—Reference manual and theoretical model
4. Equations and unequations on finite and infinite trees
5. Equations et inequations sur les arbres finis et infinis
6. Fundamental properties of infinite trees
7. The semantics of predicate logic as a programming language
8. A logical reconstruction of Prolog II
9. A logical foundation for PROLOG II
10. A theory of complete logic programs with equality
11. A logic programming language scheme
12. PROLOG II—Manual of examples