I stumbled on It Came from the S-Expressions while Googling for examples of using DCGs to parse Lisp and found it interesting.
It relates to my previous post on KIF, KIF being yet another Lisp version of Prolog.
I’ve pretty much sorted in my mind how to write the kif2prolog script, just need to tear myself away from stumbling on distractions such as the above blog and actually write it now.