Eine nonprocedural Sprache, die es den Benutzer ermöglicht, eine Reihe von Regeln zu erklären und auszudrücken, Abfragen oder Probleme, die diese Regeln verwenden.