I request Amzi! Prolog + Logic Server. I realize that SWI-Prolog Portable is available. I haven't tried it, and it might be good. However, I've started learning Prolog with the Amzi! system, and I want to continue using it.
You are here
Amzi! Prolog + Logic Server
Looks to me as though the license will be a barrier, you'll need to check that out before anyone even glances at it in more detail ... especially since we already have a more widely recognised Prolog
http://www.amzi.com/manuals/amzi/license.txt
if anyone else wants to look
This is insanely old but I'm going back over 2 years of posts that I missed. I actually had this as a personal test but never released it because of the licensing issue. Turns out they went mostly open source in the mean time, so I was able to update and release. Enjoy intrepid time traveler!