Initial Prolog code checkin

Grab bag of various prolog-in-scheme interpreters and compilers. Big
commit, to get this all into a repository.