Humboltbin     binary of prolog-interpreter (runs also on a 1MB-machine)