If you reread my comment, you will notice my claim was the other way around. I was trying to point out that the encompassing argument is pointless but showing t

If you reread my comment, you will notice my claim was the other way around. I was trying to point out that the encompassing argument is pointless but showing that neither lisp nor prolog can evaluate full Java code (because the reverse is certainly assumed to be possiblr, of course there is jvm lisps and prologs). But really which language is bigger is pointless to begin with.