Would it make sense to add these to arithmetics?

General
1

While playing with library(clpr) I came up with an idea for root/3, pow/3 and log/3 predicates, where 2 knowns and 1 unknown give a solution.

Code at Swish

This is just shortcut for a kind of pocket calculator type usage in the swipl prompt, I cant claim any advanced logic or math related stuff about it, I am no professor,

1 Like
2

I never looked at alp(qr) in enough detail to have a clue how easy it is to add these. Anyone around with more insight?