scallop-lang / scallop

Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229
https://www.scallop-lang.org
MIT License
182 stars 9 forks source link

N-th root of some probability #9

Open QianLongLongLong opened 1 year ago

QianLongLongLong commented 1 year ago

Suppose I have a relation "target", where target(a, b) = P, e.g., target(0, 2) = 0.64, then how should I define a rule to calculate a new relation "answer", such that answer(a, b) = P^(1/(b-a)), e.g., answer(0, 2) = 0.64^(1/2) = 0.8?