topic | Description | Notes | Why |
---|---|---|---|
Functional Programming |
mixing functional and logicial programming : should it be done ? is it possible ?
|
issue of performance cannot use 2 languages / memory spaces with a costly bridge at execution. | obvious limits of logic programming for computing : imperative (IO), efficient algorithms for solving problems taht are used in only one way, etc. |
Performances |
The analysis and prediction of time and space complexity of prolog programs.
|
difficult to anticipate the size of problems
need of
|
mandatory or very useful for real life engineering of large projects.
can programms scale behind prototyping ? |
Specification and Debugging |
|
||
The future of Prolog |
many questions :
|
Prolog in 2022 is very different from Prolog in 1972. Normal evolution like in many other languages |