Some languages built on first-order logic, such as SMT-LIB 2.0, add this.
Κάποιες γλώσσες έχουν δημιουργηθεί με βάση τη λογική πρώτου βαθμού, όπως η SMT-LIB 2.0.