The EYE Reasoner is powered by SWI-Prolog and runs as well on a smartphone as in the cloud

See Running eye in a browser? · Issue #24 · josd/eye · GitHub and thank you so much @jan for swipl!