How to use git behind a proxy

If you’re behind an http proxy, you should be using http git urls. The UsingGit page on Savannah.gnu.org tells you the correct syntax for this. For that repo:

git clone http://git.savannah.gnu.org/r/gnuprologjava.git