If you get any responses I'd appreciate it if you could pass them along to me. I'm currently teaching an "AI Programming" course entirely in Scheme using MacScheme and I'd really like to get hld of a Prolog or even a subset that I could turn the students loose on for a couple of weeks. -- Rob Fowler (fowler@rochester.edu)