Nutzung spezieller IKT-Werkzeuge zur Erstellung von Computer-Code, der sich aus einer Reihe von Sätzen in logischer Form zusammensetzt, Angabe von Regeln und Fakten zu einem bestimmten Problembereich. Verwenden von Programmiersprachen, die diese Methode unterstützen, z. B. Prolog, Answer Set Programming und Datalog.