ininet.org//ininet.org/software-paradigms-lesson-6-logic-programming-table-of-content.html