[NetMageSCW]

I ported from Pascal to C a Lisp interpreter system that had an embedded Prolog in it (that used Lisp syntax) (and wrote a new memory subsystem) in my spare time in College. Later I helped a grad student a little bit with their implementation of a Warren machine (runtime for a Prolog compiler) for it. That’s the only embedded Prolog I’m aware of.

[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.