Does anyone have such a beast (that you are willing to share)? I know you can use the query system (as in SICP) in a similar manner to prolog but is not really enough. It would also require a *lot* of efficiency hacking for any serious use... Any dialect of scheme would be ok. Mike