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
16. how can the complexity (space/time) of prolog programms be forecasted ?
18. example of combinatorial problems of size N which have/dont have solutions for various N
19. EXAMPLES