A data-driven model for a subset of logic programming

DOI10.1145/29873.31333zbMATH Open0631.68014OpenAlexW1986536225MaRDI QIDQ3768372FDOQ3768372

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/

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

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)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)