Re: General Logic Programming Question

[Jean Michel LECONTE]

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