Re: Can all clauses be represented as Horn Clauses?

From: Remko Troncon (remko_at_ulyssis.org)
Date: 03/23/04 

Date: Tue, 23 Mar 2004 13:13:18 +0000 (UTC)

> representing the world in pure Horn clauses, I mean prolog uses Horn
> clauses does it cause any limitations in the world that can be
> represented.

Well, actually, prolog tries to remove some of those limitations by
introducing NAF (negation as finite failure).
So, instead of
        A \/ B <- D
you could write it in prolog as
        A <- D /\ not(B)
which is not really a horn clause anymore, but not really the full
predicate logic either.

cheers,
Remko

Relevant Pages

  • Re: Can all clauses be represented as Horn Clauses?
    ... > representing the world in pure Horn clauses, I mean prolog uses Horn ... Well, actually, prolog tries to remove some of those limitations by ...
    (comp.theory)
  • Re: OT: Programming Careers
    ... A British MP felt that a proposed bill was unclear and excessively ... agree that "it failed" if that is what David Mitchell is referring to. ... The ability of the prolog compiler to compile it, ... Prolog consists of what are called "Horn clauses". ...
    (rec.arts.sf.composition)
  • Re: Representing data structures in Prolog
    ... > and also with the variables postions. ... > So far I have been geting around the problem using a limited number of ... > information in prolog? ... Well, first, is there a better way of representing the information? ...
    (comp.lang.prolog)
  • Re: After Clocksin & Mellish?
    ... > the term 'Prolog' were to be identified with that category then I would ... > Horn clauses. ... Such a usage would be unfortunate, since this is newsgroup dedicated ... not to various proof procedure for ...
    (comp.lang.prolog)
  • Re: adjective noun first order logic
    ... is the correct way of representing "old man John" in first order ... later on this logic will be converted into Prolog ... clauses. ...
    (sci.logic)