Что такое факт и правило? Как они связаны с предикатами? Зачем нужны термы? Как отличить атом от переменной?

На эти вопросы попробовал дать ответ в своём новом видео по Prolog'у - https://rutube.ru/video/private/feca3b9717dcc21db01f526df1678c06/?p=fOWXFPYafVPsG1lAQiGFPw https://rutube.ru/video/private/feca3b9717dcc21db01f526df1678c06/?p=fOWXFPYafVPsG1lAQiGFPw