Re: why not use LISP-imp of Prolog as opposed to Prolog itself?



On Tue, 13 May 2008 14:51:14 -0700, globalrev wrote:

is there an actual reason to use swi-prolog or the like as opposed to
just use an implementation of Prolog in Lisp?

Yes there is: Lisp can be (and was) implemented in Prolog (search for
Lisprolog in Google for one example). The point is: you never really want
Lisp; what you want is Prolog. So why not go for the real thing instead of
the embedded interpreter ?


it seems Prolog is a special-purpose language and the

No, Prolog is general purpose.



turingcompleteness is fairly pointless

No it isn't, it is essential in almost anything one wants to program.


and just there for the cause of
being turingcomplete.

BTW, Lisp is Turing Complete - otherwise it would not be possible to write
a Prolog in Lisp.



and thus better to have a real general-purpose language with prolog

Prolog is a real general purpose language.



implemented in that language so you can easily write your application

You can easily write your application in Prolog.



and then dont have to run code between 2 different languages.

And that wouldn't even be a bad thing, so why worry about it.


or how big of a fool am i?

I pass on this one.

Cheers

Bart Demoen
.



Relevant Pages

  • Re: why not use LISP-imp of Prolog as opposed to Prolog itself?
    ... Lisp has been getting a higher profile lately because of essayists ... Tenth Rule of Programming which states: ... Norvig shows us how to implement Prolog in Lisp. ... instead of Lisp (such as his excellent discussion of natural language ...
    (comp.lang.prolog)
  • Re: Recommended Sources?
    ... > a language) on prolog or lisp. ... Recommendations for learning ... NATURAL LANGUAGE PROCESSING IN PROLOG: ...
    (comp.lang.lisp)
  • Re: Forth and Co - The Return of the Jedi
    ... As was APL if your problems were of a mathematical bent, as was Lisp ... APL, Lisp, Prolog and Forth all have less users now ... it is not just a question of the languages adopted for teaching; ...
    (comp.lang.forth)
  • Fun with DCGs in Allegro
    ... (lemma (cdr body) ... I love being able to weave back and forth between Lisp and Prolog. ... ;;; MM3 headers got to be a little more complicated to express the ...
    (comp.lang.lisp)
  • Re: (Prolog + LISP + Erlang) with integration issues versus C++
    ... LISP ... > and connect Erlang to Prolog, Erlang to CLisp and CLisp to Prolog. ... I'm fairly sure this will solve your integration issues. ...
    (comp.lang.lisp)