Programmazione basata su regole in cui ogni regola è indipendente e l'ordine in cui sono dichiarate o esecuzione delle regole non è significativo.