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

Programming MethodologyControl Language LogicNonprocedural LanguageProgram SpecificationRelational Data Structures

Mathematics Subject Classification ID

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

Cited in

(41)

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

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)