scientific article; zbMATH DE number 192840
From MaRDI portal
Publication:4039734
automatic theorem provingformal semanticsimplementation techniqueslogic programmingproblem-solvingPrologresolution theorem proving
Mechanization of proofs and logical operations (03B35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Cited in
(31)- Logic programming and rapid prototyping
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- Computational complexity and constraint logic programming languages
- A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
- Reasoning with logic programming
- Programming with higher-order logic.
- The language features and architecture of B-Prolog
- scientific article; zbMATH DE number 4016168 (Why is no real title available?)
- scientific article; zbMATH DE number 988155 (Why is no real title available?)
- Logic programming as a basis for lean automated deduction
- scientific article; zbMATH DE number 4172365 (Why is no real title available?)
- scientific article; zbMATH DE number 4193099 (Why is no real title available?)
- scientific article; zbMATH DE number 3874576 (Why is no real title available?)
- scientific article; zbMATH DE number 3940699 (Why is no real title available?)
- Translating Pascal for Execution on a Prolog-based System
- scientific article; zbMATH DE number 3954262 (Why is no real title available?)
- Logicon: An integration of prolog into icon
- scientific article; zbMATH DE number 4072431 (Why is no real title available?)
- scientific article; zbMATH DE number 4076677 (Why is no real title available?)
- scientific article; zbMATH DE number 4094864 (Why is no real title available?)
- scientific article; zbMATH DE number 4101138 (Why is no real title available?)
- scientific article; zbMATH DE number 47956 (Why is no real title available?)
- The execution algorithm of mercury, an efficient purely declarative logic programming language
- The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
- Generating Specialized Rules and Programs for Demand-Driven Analysis
- scientific article; zbMATH DE number 970731 (Why is no real title available?)
- scientific article; zbMATH DE number 2227400 (Why is no real title available?)
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- Hypergraph Horn functions
- A logic for reasoning with inconsistency
- Compiling bottom-up and mixed derivations into top-down executable logic programs
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 Q4039734)
