[mbrock]

There's also an interesting SWI-Prolog mode that embeds the language runtime with dynamic linking and integrates quite deeply.