scientific article; zbMATH DE number 192840
zbMATH Open0637.68005MaRDI QIDQ4039734FDOQ4039734
Authors: David Maier, David S. Warren
Publication date: 5 June 1993
Title of this publication is not available (Why is that?)
Recommendations
automatic theorem provingformal semanticslogic programmingPrologproblem-solvingresolution theorem provingimplementation techniques
General topics in the theory of software (68N01) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)
Cited In (24)
- Title not available (Why is that?)
- Logic programming and rapid prototyping
- Title not available (Why is that?)
- A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
- The language features and architecture of B-Prolog
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- Reasoning with logic programming
- Translating Pascal for Execution on a Prolog-based System
- The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
- Logicon: An integration of prolog into icon
- Generating Specialized Rules and Programs for Demand-Driven Analysis
- Hypergraph Horn functions
- Computational complexity and constraint logic programming languages
- Title not available (Why is that?)
- A logic for reasoning with inconsistency
- Title not available (Why is that?)
- Title not available (Why is that?)
- Programming with higher-order logic.
- A Survey of the Proof-Theoretic Foundations of Logic Programming
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)