Логическое программирование

Терм

Фундаментальная синтаксическая единица в логическом программировании, которая может быть константой, переменной или составным термом с функтором и аргументами.

← Назад