sortiert([]). sortiert([El]). sortiert([A|[B|Rest]]):- A=