A data-driven model for a subset of logic programming

DOI10.1145/29873.31333MaRDI QIDQ3768372zbMATH OpenOpenAlexFDO

Authors Lubomir F. Bic, Craig A. Lee

Publication date 1987

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://www.acm.org/pubs/contents/journals/toplas/1987-9/

zbMATH Keywords

logic programssemantic networksdata-flow graphsbinary predicates

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Information storage and retrieval of data (68P20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3949749
• scientific article; zbMATH DE number 1737609
• Parallelism in deductive inference on graph structures
• scientific article; zbMATH DE number 3942996
• scientific article; zbMATH DE number 4072451

Cited in

(4)

• scientific article; zbMATH DE number 1303988 (Why is no real title available?)
• scientific article; zbMATH DE number 1114035 (Why is no real title available?)
• scientific article; zbMATH DE number 3949749 (Why is no real title available?)
• Control and data driven execution of logic programs: A comparison

This page was built for publication: A data-driven model for a subset of logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3768372)