B-Prolog

03/09/10 - Prolog compiler for Darwin.

Download B-Prolog from CNET Download.com Mac New Releases.

Lists new software releases from most sources on the net.
The Software Tracker