scientific article; zbMATH DE number 3956407

MaRDI QIDQ3725519zbMATH OpenFDO

Authors Katsuhiko Nakamura

Publication date 1986

zbMATH Keywords

execution of logic programsfunctional relations in logic programsProlog programs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1222408
• scientific article; zbMATH DE number 4003495
• Logic + control: on program construction and verification
• scientific article; zbMATH DE number 4181309
• scientific article; zbMATH DE number 1420822
• Automating control for logic programs
• scientific article; zbMATH DE number 1531362
• Prolog's control constructs in a functional setting -- axioms and implementation
• Metalogical control for logic programs
• Control and data driven execution of logic programs: A comparison

Cited in

(2)

• scientific article; zbMATH DE number 4013995 (Why is no real title available?)
• scientific article; zbMATH DE number 1420822 (Why is no real title available?)

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 Q3725519)