Utilizzare strumenti TIC speciali per creare un codice informatico composto da una serie di frasi in forma logica, esprimendo regole e fatti in merito ad alcuni ambiti problematici. Utilizzare i linguaggi di programmazione che supportano questo metodo come Prolog, Answer Set Programming e Datalog.