Scryer Prolog
Scryer Prolog is a free software ISO Prolog system intended to be an industrial strength production environment and a testbed for bleeding edge research in logic and constraint programming.
Looks to be a pretty nice implementation with some useful extension modules in the library.