Il Gödel mette a disposizione del programmatore il quantificatore universale, denotato da All e quello esistenziale, denotato da Some. Il tipo delle variabili quantificate viene assegnato dal type checker del sistema insieme con quello delle altre variabili presenti nella clausola.
Naturalmente, poiché i programmi Gödel vengono risolti usando la SLDNF-resolution, il quantificatore All non può essere usato per calcolare costruttivamente risposte, ma solo per verificarne la correttezza.
Il Gödel ha anche i costrutti If-Then e If-Then-Else, chiamati condizionali, che permettono, grazie ad una semantica procedurale specializzata, di evitare inefficienze e computazioni inutili.
Il primo dei due ha la semantica dichiarativa equivalente alla formula
mentre la semantica procedurale è la seguente: il sistema attende che Condition non contenga variabili libere, poi valuta Condition; se ha successo, viene chiamata Formula, se fallisce, If-Then ha successo. Similmente è definita la semantica per If-Then-Else. In questo modo si evita di calcolare due volte Condition.