Prolog - Prolog general questions

Author

Prolog general questions

markww

2006-12-17, 10:04 pm

Hi,

I'm trying to get some info on Prolog (been programming with C++/Java
for a few years). Want to see if it

What's the concept behind:
Facts
Rules
Queries

What's the benefit of writing a logic program rather than a
corresonponding java program? I was told that with a logic program you
can write a set of 'rules' which keeps getting applied to your datasets
to produce results. I could see this being useful in that I wouldn't
have to recompile everytime a new rule is added, Prolog would generate
the code necessary to apply my rules (goodbye many bugs?). Is any of
that right?

Thanks for any information.

A.L.

2006-12-17, 10:04 pm

On 17 Dec 2006 17:08:16 -0800, "markww" <markww@gmail.com> wrote:

>Hi,
>
>I'm trying to get some info on Prolog (been programming with C++/Java
>for a few years). Want to see if it
>
>What's the concept behind:
> Facts
> Rules
> Queries
>

First 3 chapters of any textbook...

>What's the benefit of writing a logic program rather than a
>corresonponding java program? I was told that with a logic program you
>can write a set of 'rules' which keeps getting applied to your datasets
>to produce results. I could see this being useful in that I wouldn't
>have to recompile everytime a new rule is added, Prolog would generate
>the code necessary to apply my rules (goodbye many bugs?). Is any of
>that right?
>

No, it is not.

>Thanks for any information.

Get a book. Read. Study.

A.L.

Carlo Capelli

2006-12-18, 7:06 pm

"markww" <markww@gmail.com> ha scritto nel messaggio
news:1166404096.323982.113290@73g2000cwn.googlegroups.com...
> Hi,
>
> I'm trying to get some info on Prolog (been programming with C++/Java
> for a few years). Want to see if it
>
> What's the concept behind:
> Facts
> Rules
> Queries
>
> What's the benefit of writing a logic program rather than a
> corresonponding java program? I was told that with a logic program you
> can write a set of 'rules' which keeps getting applied to your datasets
> to produce results. I could see this being useful in that I wouldn't
> have to recompile everytime a new rule is added, Prolog would generate
> the code necessary to apply my rules (goodbye many bugs?). Is any of
> that right?
>
> Thanks for any information.
>

Prolog was the first language (i think) to embed a pratical proof resolution
engine in a clean syntax framework.
It enables an unusual programming style (relational database like) that
turned out to be very expressive, but a little hard to grasp.
I found in this news thread this link
http://www.cl.cam.ac.uk/Teaching/2001/PrologAI/cae1.pdf to an interesting
book: you must give it a look.

(Please excuse my poor English...)

Bye Carlo

Sponsored Links