I just wanted to say that before asking for more people to test this library, I need to wait for a release that will be picked up more widely by distributions.
Basically, I can’t ask people to compile swi-prolog from source just to test my library.
That’s how the unit system was formulated by mp-units.
I did a semi-automatic translation of their code to prolog through a hacky prolog script.
But the idea is that if you want to use the cgs system, you want to use cgs:gram and not si:gram although they are the same thing.
I believe that in this case (or in the angular case), there is no good solution.
We can’t just decide that one system should have symbols and not the other.
Yes, I am currently going through all the conflicts and try to resolve the most egregious ones.
I will also try to replace special utf-8 character where it makes sense.
Basically, it is like the difference between speed and velocity, where speed is the magnitude of velocity vector. Acceleration is just the derivative of the velocity (and not of the speed).
Here is a better explanation than mine: Speed versus Velocity
I have already done a few examples. Let me know if you think about other examples demonstrating cool things.
I’m actually thinking of implementing kalman filters with units.
This would be a slightly larger example and an interesting application (in my opinion).
Since I am not an expert, if anyone is interested to help, please contact me !
I also want to update my RPN calculator to use units 