B-Prolog Icon
Darwin Prolog compiler.
Demo