Re: database: prolog and relational

From: mAsterdam <>
Date: Wed, 09 Jun 2004 11:39:41 +0200
Message-ID: <40c6dadd$0$33919$>

Matthew Huntbach wrote:

> In comp.lang.prolog Tony Douglas <> wrote:

>>I have on occasion seen Prolog referred to as "relational". I think
>>this is incorrect. A Prolog system effectively consists of a database
>>of facts, a collection of predicates which tie the facts together (and
>>can in turn assert new facts or retract old ones), a bactracking
>>algorithm and a unifier. 

> Prolog is "relational" in the sense that it's based on the mathematical idea
> of relations, as opposed to "functional" languages which are based on the
> mathematical idea of functions. The term is not intended to refer to
> "relational databases".

My limited prolog skills prevent it,
but it doesn't look impossible to
define the relational model
in terms of prolog.
Or other models, for that matter.

I am thinking of something like 'prolog
implementation of catalogs' - just the
logical stuff or maybe more.
It actually seems useful to have such things as reference models.

Did anybody do that?
I could not find it.

Any pointers (heh :-) welcome. Received on Wed Jun 09 2004 - 11:39:41 CEST

Original text of this message