Hello, Are there any implementations of Prolog written in Scheme? I'm interested in any and all versions from minimal to full-featured. .Mike