Very High Level Logical Language