http://die-zwerge-prolog.appstor.io 2025-02-27 1.0