[simplify]

Alternative would be interesting, but successor is thought provoking. Do you mean to say most all Prolog capabilities will be possible to do in Meme?

[samweb3]

That's the goal, but please let me know if there's anything you find that you can't do.