В разделе domains определяю следующие типы:
domains
pr = production_1(string, real, real, real, string, pr)
ppr = production(string, real, real, real, string)
Выдает ошибку в формулировке запроса: “506 Type error: The functor does not belong to the domain”
predicates
one_struct(ppr, pr)
goal
one_struct (production(“coal”, X, Y, Z, E),
production_1(“coal”, 45.2, 38.5, 49.7, “mln. t”,
production_1(“raw oil”, 392.6, 328.4, 372, “th. t”,
production_1(“electricity”, 30.4, 44.9, 79.9, “mlrd. kv-h”,
production_1(“iron ore”, 601.9, 825.7, 2004, “th. t”,
production_1(“copper”, 86.7, 84.7, 123.7, “th. t”,
production_1(“sulfuric acid”, 3.5, 3.2, 3.8, “mln. t”,
production_1(“cement”, 6.1, 4.4, 14.9, “mln. t”, nil)))))))), // собственно ругается в этой строчке на nil
write(X, “ ”), write(Y, “ ”), write(Z, “ ”).
Подскажите, как правильно описать домен? Или что нужно написать вместо nil?