Norvig constructs a version of Prolog in his book - https://github.com/norvig/paip-lisp https://github.com/norvig/paip-lisp , see ch.11 Here - https://github.c

Norvig constructs a version of Prolog in his book - https://github.com/norvig/paip-lisp https://github.com/norvig/paip-lisp , see ch.11 Here - https://github.com/prolog8/awkprolog https://github.com/prolog8/awkprolog - is an interesting example of Prolog written in AWK. Not too long and neither too dense code.