Utiliser des outils de TIC spécialisés pour créer un code informatique composé d’une série de phrases logiques, exprimant des règles et des faits concernant certains domaines problématiques. Utiliser des langages de programmation qui soutiennent cette méthode tels que Prolog, Answer Set Programming et Datalog.