scientific article; zbMATH DE number 3949749

MaRDI QIDQ3719861zbMATH OpenFDO

Authors Norbert Heck, Jürgen Avenhaus

Publication date 1985

zbMATH Keywords

logic programmingSLD-resolution

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A data-driven model for a subset of logic programming
• scientific article; zbMATH DE number 3958704
• Completions of perpetual logic programs
• A denotational semantics and dataflow construction for logic programs
• Tabled evaluation with delaying for general logic programs

Cited in

(3)

• A data-driven model for a subset of logic programming
• scientific article; zbMATH DE number 1303988 (Why is no real title available?)
• Declarative Data Analysis Using Limit Datalog Programs

This page was built for publication:

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