RE: General Logic Programming Question

[Brent Fulgham]

Thanks for those references.  Now here's a follow-up question:

I have read that Prolog implementations must retain all facts
in core memory, so it would seem that using Prolog to implement
a large knowledge base would prove problematic (unless of course
current Prolog implementations do not suffer from this behavior.)

I suppose that one could connect a Prolog runtime to a database
backend in the canonical n-tiered approach, but it seems that
much of Prolog's built-in searching behaviors would be lost because
all queries would have to be reformulated in standard SQL
syntax.  Or do the existing database bindings somehow work around
this problem?

Any idea?

-Brent

> -----Original Message-----
> From: Jean Michel LECONTE
> [mailto:address@hidden
> Sent: Thursday, December 06, 2001 2:30 PM
> To: Brent Fulgham
> Cc: address@hidden
> Subject: Re: General Logic Programming Question
> 
> 
> Hi,
> 
> If you want to program a big software to do for example 
> timetabling or 
> planning, PROLOG + Constraints may be a good solution cause 
> you have the 
> power of the constraints programming and the facility of the 
> logic programming
> for the graphical part you can mix your prolog program with C/C++ ... 
> 
> 
> but you can see these pages 
> 
> about CLP and web programming :
> http://www.clip.dia.fi.upm.es/lpnet/lpnet.html
> 
> 
> or the commercial system Visual Prolog :
> http://www.pdc.dk/
> 
> 
> Regards,
> Jean Michel LECONTE
> 
> On Thu, 06 Dec 2001, you wrote:
> > I'm new to the whole field of Logic Programming, having become
> > interested after reading some of Parnas's works discussing the
> > use of Mathematical Logic as a basis for reasoning about program
> > correctness.
> >
> > I'm curious if Prolog or the Constraint Solving elements of Logic
> > Programming can provide a suitable basis for constructing "real
> > world" software?  For example, based on my readings I can see how
> > Prolog is useful for solving certain classes of problems related
> > to backtracking, reasoning about natural language, etc.  But is
> > there sufficient efficiency in terms of speed and memory use for
> > building an entire application (say some kind of database 
> or possibly
> > even a web server) as opposed to embedding Prolog to be used for
> > some small subset of the problem?
> >
> > Any references would be greatly appreciated.
> >
> > Thanks,
> >
> > -Brent
> >
> >
> > _______________________________________________
> > Users-prolog mailing list
> > address@hidden
> > http://mail.gnu.org/mailman/listinfo/users-prolog
>