Near-Horn Prolog and the ancestry family of procedures
type: Item
instance of: scholarly article
title: Near-Horn Prolog and the ancestry family of procedures
zbMATH Open document ID: 0855.68014
DOI: 10.1007/BF01530821
author: David Reed
author: Donald W. Loveland
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1996-11-24T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 937231
zbMATH Keywords: positive refinement of model elimination
zbMATH Keywords: near-Horn Prolog procedures
describes a project that uses: PARTHEO
describes a project that uses: METEOR
describes a project that uses: SETHEO
MaRDI profile type: Publication
cites work: An Implementation of the Model Elimination Proof Procedure
cites work: N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
cites work: N-Prolog: An extension of Prolog with hypothetical implications. I.
cites work: Linear resolution with selection function
cites work: SETHEO: A high-performance theorem prover
cites work: Mechanical Theorem-Proving by Model Elimination
cites work: A Simplified Format for the Model Elimination Theorem-Proving Procedure
cites work: Q4139711
cites work: Near-Horn prolog and beyond
cites work: An extension to linear resolution with selection function
cites work: A simplified problem reduction format
cites work: Non-Horn clause logic programming without contrapositives
cites work: A sequent-style model elimination strategy and a positive refinement
cites work: A comparison of three PROLOG extensions
cites work: Q3491009
full work available at URL: https://doi.org/10.1007/bf01530821
OpenAlex ID: W2091615084
description: scientific article; zbMATH DE number 937231