Datalog Rule Example

(Implies (then (Atom (Var customer) (op (Rel 'is premium')))) (if (Atom (Var customer) (op 'spent at least') (Ind '5000 euros') (Ind 'in the previous year'))))
"A customer is premium if they spent at least 5000 euros in the previous year."

Datalog Rule Example - Notes

Description text goes here.