Le tecniche e i principi dello sviluppo di software, quali analisi, algoritmi, codifica, collaudo e compilazione dei paradigmi di programmazione con Prolog.