Planungstechnik
Deklararative Programmierung
kombinatorische Probleme
Constraint-Logischen Programmierung