Un programma scritto in un linguaggio basato sulla logica richiede la formalizzazione delle proprie conoscenze relativamente ad un certo problema. Ciò avviene mediante l'asserzione di : |
fatti e regole Circa 36% degli utenti ha risposto correttamente |
Risposta tratta da : Informatica Polizia Penitenziaria Quiz - Concorso pubblico a 4 posti nel profilo professionale di vice perito informatico |
di seguito le risposte errate:
 liste astratte
 assiomi e formule
 variabili e istrizioni

Circa 36% degli utenti ha risposto correttamente