[anthk]

Check http://t3x.org, it has some book on logic for Scheme which implements a Prolog under it wich very few files and lines per file.