scientific article

zbMath0572.68009MaRDI QIDQ3690195

Christopher J. Hogger

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logic programslogic programmingHorn-clause logicimplementations of PROLOG

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (6)

Correctness and Completeness of Logic Programs ⋮ LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY ⋮ VIRTUAL SHARED MEMORY MACHINES— AN APPLICATION OF PVM∗ ⋮ Worst-case analysis of the set-union problem with extended backtracking ⋮ On Completeness of Logic Programs ⋮ Relevant logic programming

This page was built for publication: