OVM language question


The OVM introduction (https://medium.com/plasma-group/introducing-the-ovm-db253287af50) talks about “the language of the OVM”, a “unified high level language written in predicate logic”.

Forgive me for not fully comprehending this, but I am wondering if this “OVM language” is

  1. Like a low-level bytecode language to be executed directly by the OVM

  2. A high-level language for writing smart contracts, like Solidity?

  3. Something else?