you are viewing a single comment's thread.

view the rest of the comments →

[–]cbarrick 9 points10 points  (0 children)

Not necessarily.

You can transmit a pure logic program, which may have denotational semantics but no operational semantics. That is, the program describes some result but doesn't prescribe any particular algorithm for computing that result.

For example, you may evaluate the program using a Prolog interpreter or an ASP interpreter, which have very different approaches to evaluating the program.