- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Thu, 9 Nov 2000 12:42:22 +0100
- To: " - *GK@Dial.pipex.com" <GK@Dial.pipex.com>
- Cc: " - *www-rdf-interest@w3.org" <www-rdf-interest@w3.org>
Graham Klyne wrote:
> Prolog is a tool I've used in the past, so prolog-like descriptions are one
> of the approaches that inform my thinking. I also aim to retain a strongly
> declarative flavour.
We seem to have a lot in common ...
A minimal thing is a conjunction of definite clauses with binary terms:
a conjunction is a logical and-ing (such as an RDF graph)
a definite (or Horn) clause is a disjunction with at most one positive term
a disjunction is a logical or-ing
a binary term is an RDF statement such as subj verb obj.
The good news is that this minimal thing can express axioms, lemmas and proofs:
a fact as {statement}
a rule as {{statement} if {statements}}
a lemma as {statements}
a proof as a recursion of {{statements} thus {statement}}
have to eat now ...
--
Jos
Received on Thursday, 9 November 2000 06:42:15 UTC