Some topics that could be discussed :

how to analyze space and time performance of prolog programs/profiling tools ?
how can the complexity (space/time) of prolog programms be forecasted ?
benchmarks of implementations and tools
example of combinatorial problems of size N which have/dont have solutions for various N

15. how to analyze space and time performance of prolog programs/profiling tools ?

16. how can the complexity (space/time) of prolog programms be forecasted ?