Quale delle seguenti affermazioni non si riferisce al paradigma di programmazione logica? |
In PROLOG i fatti e le regole non possono avere variabili e costanti Circa 43% 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:
Il meccanismo che permette di effettuare deduzioni di nuova conoscenza a partire da un insieme di regole e fatti noti si chiama in logica modus ponens
Il PROLOG è l'esempio principale di linguaggio di programmazione basato sulla logica
Il PROLOG utilizza un sottoinsieme della logica nota come il calcolo dei predicati del primo ordine