In questo documento  vengono presentati brevemente alcuni tra i principali paradigmi di apprendimento simbolico, approfondendo in particolare i metodi di apprendimento induttivo. All'interno di questi, viene descritto in dettaglio l'algoritmo FOIL di Ross Quinlan, per l'apprendimento di regole del Primo Ordine a partire da esempi. Relativamente a FOIL, l'implementazione Prolog realizzata da John Zelle e Raymond J. Mooney viene applicata ad alcuni esempi pratici di utilizzo.