1 - Beginning OpenGL game programming - 2nd ed. |
2 - From logic to logic programming |
3 - Introduction to logic programming |
4 - Lambda-calculus and computer science theory : proceedings of the symposium held in Rome March 25-27, 1975 |
5 - Logic programming and its applications |
6 - More OpenGL game programming |
7 - The design of well-structured and correct programs |