Re: In an RDBMS, what does "Data" mean?
Date: 07 Jun 2004 17:05:20 +0200
Message-ID: <vcbbrjvs91r.fsf_at_beta19.sm.ltu.se>
Paul <paul_at_test.com> 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