The techniques and principles of software development, such as analysis, algorithms, coding, testing and compiling of programming paradigms in Prolog.