Please solve a mathematical problem in this language: CafeOBJ
The problem can be:
* Quadratic equation solving,
* a sufficient condition for prime numbers,
* Pythagorean
here is documentation for this language:
[login to view URL]~kokichi/class/SinaiaSchoolFVSS0803/
Thanks a lot!