Warum wurde der Traum vom deklarativen Programmieren nicht verwirklicht? Welche konkreten Hindernisse stehen im Weg? Für ein einfaches Beispiel, warum kann ich nicht sagen sort(A) is defined by sort(A) in perm(A) && asc(sort(A)) und automatisch einen Sortieralgorithmus daraus erhalten....