Algorithm = logic + control
From MaRDI portal
Publication:4190095
DOI10.1145/359131.359136zbMath0404.68010OpenAlexW2011306767WikidataQ55886416 ScholiaQ55886416MaRDI QIDQ4190095
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
Programming MethodologyControl Language LogicNonprocedural LanguageProgram SpecificationRelational Data Structures
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Data structures (68P05) General topics in the theory of software (68N01) Theory of operating systems (68N25)
Related Items
Hybrid reasoning using universal attachment ⋮ AID: an alternative implementation of DCGs ⋮ Implementation of an interpreter for abstract equations ⋮ Scaling-up reasoning and advanced analytics on BigData ⋮ Efficient backward execution in AND/OR process model ⋮ A deductive clustering approach ⋮ On the transformation of logic programs with instantiation based computation rules ⋮ Obligation as optimal goal satisfaction ⋮ Verification of logic programs with delay declarations ⋮ The Prolog Debugger and Declarative Programming ⋮ Fifty Years of Prolog and Beyond ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ The Maude strategy language ⋮ Logic + control: On program construction and verification ⋮ A pearl on SAT and SMT solving in Prolog ⋮ Reversible computing from a programming language perspective ⋮ Matrix Code ⋮ Unnamed Item ⋮ Information-gain computation in the \textsc{Fifth} system ⋮ A bridge between constructive logic and computer programming ⋮ Logic and functional programming by retractions ⋮ Strategies, model checking and branching-time properties in Maude ⋮ Arithmetical interpretations of dynamic logic ⋮ \(\exists\)-Universal termination of logic programs ⋮ Fuzzy logic programming ⋮ Automata on infinite objects and their applications to logic and programming ⋮ Backjumping is Exception Handling ⋮ Programming and symbolic computation in Maude ⋮ Recursive query processing: The power of logic ⋮ Compiling a default reasoning system into Prolog ⋮ Answer Set Programming: A Primer ⋮ Semantics of algorithmic languages ⋮ Epistemology and artificial intelligence ⋮ FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS ⋮ Verification from Declarative Specifications Using Logic Programming ⋮ Prioritized logic programming and its application to commonsense reasoning ⋮ Comparative semantics for flow of control in logic programming without logic
