Algorithm = logic + control

DOI10.1145/359131.359136MaRDI QIDQ4190095zbMATH OpenOpenAlexWikidataFDO

Authors Robert Kowalski

Publication date 1979

Published in Communications of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/359131.359136

zbMATH Keywords

Control Language LogicNonprocedural LanguageProgram SpecificationProgramming MethodologyRelational Data Structures

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited in

(41)

• AID: an alternative implementation of DCGs
• Efficient backward execution in AND/OR process model
• On the transformation of logic programs with instantiation based computation rules
• A bridge between constructive logic and computer programming
• Recursive query processing: The power of logic
• Hybrid reasoning using universal attachment
• Prioritized logic programming and its application to commonsense reasoning
• Obligation as optimal goal satisfaction
• Information-gain computation in the \textsc{Fifth} system
• Strategies, model checking and branching-time properties in Maude
• Programming and symbolic computation in Maude
• Matrix Code
• Epistemology and artificial intelligence
• Reversible computing from a programming language perspective
• Arithmetical interpretations of dynamic logic
• Answer Set Programming: A Primer
• Implementation of an interpreter for abstract equations
• Logic and functional programming by retractions
• A pearl on SAT and SMT solving in Prolog
• A deductive clustering approach
• Scaling-up reasoning and advanced analytics on BigData
• Logic + control: on program construction and verification
• Backjumping is Exception Handling
• scientific article; zbMATH DE number 7455734 (Why is no real title available?)
• Verification of logic programs with delay declarations
• The Prolog debugger and declarative programming
• From standard to non-standard semantics by semantics modifiers
• Verification from Declarative Specifications Using Logic Programming
• Automata on infinite objects and their applications to logic and programming
• -Universal termination of logic programs
• Fuzzy logic programming
• Fifty Years of Prolog and Beyond
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• The Maude strategy language
• An Overview of the Maude Strategy Language and its Applications
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
• Prolegomena to logic programming for non-monotonic reasoning
• Automatic differentiation in Prolog
• Compiling a default reasoning system into Prolog
• Semantics of algorithmic languages
• Comparative semantics for flow of control in logic programming without logic

This page was built for publication: Algorithm = logic + control

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