Semantic expressivity hierarchy



Hello,

I read in some old university lessons :

"The language and logic provided by Prolog fit into a semantic expressivity
hierarchy"

I have no idea what it means !

Do you understand this sentence ?

Thanks !



.



Relevant Pages

  • Re: Why C?
    ... > And in that same thread, Robert Tisdale wrote: ... > In another language, yes, but the same thing. ... as analyzing a C++ program with all the hierarchy it embodies. ... What about side effects and macros? ...
    (comp.lang.c)
  • Re: logical paradoxes
    ... >sense of a fixed interpreted language, modelled as a pair, where M is ... >hierarchy, which is counter-intuitive. ... But we cannot locate English inside the hierarchy, ... which it interprets, this has been Minsky's lesson for reduction in ...
    (sci.logic)
  • Re: covariant arguments?
    ... C++ language, though I suspect that maybe there is some cleaver ... relationship between a class hierarchy and the hierarchy of member ... generally accepted rule is "covariant return types, ... have the parallel hierarchies problem with a method of just one argument. ...
    (comp.object)
  • Re: recyclage vieux pc (pentium 150 100Mo de ram)
    ... In message, Michael Heiming ... >> language gives them the best chance of expressing themselves clearly. ... >description of this ng, English. ... Let's look at the hierarchy: ...
    (comp.os.linux.misc)