You may be interested in Shen. It has this KLambda kernel language that can be implemented by a host platform, which then gives you the entire Shen language tha

You may be interested in Shen. It has this KLambda kernel language that can be implemented by a host platform, which then gives you the entire Shen language that includes a Prolog. I recently learned about this.