LudovicoVan
Posts:
2,971
From:
London
Registered:
2/8/08
|
|
Re: ProLogic v.0.2: Fuzzy propositional logic with similarity
Posted:
Aug 11, 2012 5:58 PM
|
|
"Graham Cooper" <grahamcooper7@gmail.com> wrote in message
news:3bb036a4-2990-41a6-8025-3ac37ae104ca@sn4g2000pbc.googlegroups.com...
> Logic Theories in Prolog is an old idea.
And why are you playing with it?
> I think I can get my own automatic prover running by enhancing my own
> Prolog.
>
> All I need is
>
> proof(C) :- C.
>
> to unify over all predicate facts.
As you say, there is plenty. For instance look at this:
<http://en.wikipedia.org/wiki/%CE%9BProlog>
But I am not interested in "extending Prolog", I am just *using* it.
Getting to 1-st or n-th order is of course a next step for the calculator,
but I am still stuck to the apparently many ways to do it and to finding the
one that is expressible in plain arithmetic...
-LV
|
|
