In regard to Prolog I am a main developer of Uranium Test Engine http://uranium-test.sourceforge.net

It is a general purpose auto testing tool which is especially good for testing Web.