Урок 6. Управление унификацией предикатом fail

Содержание урока: 1. типы данных symbol, integer, real 2. количественная фильтрация 3. строчный тип данных 4. ложный предикат fail