Re: In an RDBMS, what does "Data" mean?

From: Torkel Franzen <>
Date: 07 Jun 2004 17:05:20 +0200
Message-ID: <>

Paul <> writes:

> I've got Prolog here and I'm playing with it trying to write a program
> that has two contradictory statements. It seems that the "not" predicate
> in Prolog works a bit strangely. Could you give me an example of a
> simple Prolog program that has two terms that contradict each other?

  There is no such thing in Prolog as asserting a negative fact.

> I think that Godel's Completeness theorem says that if a statement about
> a database is semantically true *irrespective of which semantics you
> choose*, then it's provable purely syntactically using first order
> logic.

  No, Godel's completeness theorem is tied specifically to the standard semantics of first order logic. Received on Mon Jun 07 2004 - 17:05:20 CEST

Original text of this message