tuProlog 40 has been released