0b355d1

committed
# Commits

# Comments (0)

# Files changed (4)

# test/expected/integration/payment.out

-yadi$ YADI execution error: Aggregate function 'PROD' is not supported, allowed functions are: MAX, MIN, SUM, AVG, COUNT

-yadi$ YADI execution error: Goal Person/2 contains an aggregate function as a variable, which is only allowed in rule heads

# test/expected/integration/payment2.out

+yadi$ YADI execution error: Aggregate function 'PROD' is not supported, allowed functions are: MAX, MIN, SUM, AVG, COUNT

+yadi$ YADI execution error: Goal Person/2 contains an aggregate function as a variable, which is only allowed in rule heads

+yadi$ YADI execution error: Predicate Q/2 is unsafe, variable x is not in a positive goal or strict equality relation.