Можливості розширення мови логічного програмування. Аналіз структури змінних та використання їх як частини в мові програмування Пролог. Сутність предикатів як об"єктів перетворення змінних. Аналіз структури термів, визначення їх уніфікації у Пролозі.