is there a way to do maths in datalog ?

e.g salary(fred, 100) salary(angie, 100) salary(luch, 500)

high-earners :- ….. ?

so i can name a set of people who have salaries over a certain threshold ?

i cant seem to fond much on the internet (only done an hour of searching tho) on datalog and how to use it beyond the docs that are on racket-lang

maybe i should be using racklog instead ??

@chris613 I only know how to do this in the s-expression syntax: #lang datalog/sexp (! (salary fred 100)) (! (salary angie 100)) (! (salary luch 500)) (! (salary zoe 300)) (! (:- (high-earner Name) (salary Name X) (> X 250 :- #t))) (? (high-earner N))

@jeapostrophe would know if you can do something similar in the traditional syntax.