现在大家都使用什么样的prolog开发软件,该怎么解决

现在大家都使用什么样的prolog开发软件
我是学习prolog的新手,请教各位高手,现在大家都使用什么样的prolog开发软件? 
我应该用什么合适?我知道的有: 
turbo prolog 
amzi!prolog 
visualprolog 
swi-prolog 

请多指教,谢谢!

------解决方案--------------------
我觉得初学先用着amzi,毕竟语法简单,用的熟练了,领会精神了,需要做些较大的程序可以考虑转visual prolog~