Strawberry Prolog
Professional tool for programming in Prolog. Free Light edition with many example programs in it.
