Здесь будет инфапо курсу “Объектно-ориентированное логическое программирование”.