CH-Prolog: A Proof Procedure for Positive Disjunctive Logic Programming

Abstract

The suc’ce.~ of Prolog motivat~ people to use full firstorder logic: instead of only Horn clauses as the b~is of logic programming. One of the main work in this extending is to seek proof procedure for new logic progrannning. Positive disjunctive logic programming extends Horn clause progrvanming by allowing more than one atoms re occur in the head o/’a… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics