There are a number of reasons why you better choose a commercial Prolog system, or another academic product:
On the other hand, SWI-Prolog offers some nice facilities: