term rewriting == переписыватели выражений. prolog внутри себя, как я понял из вики, делает именно это . Т. е. Pure вываливает свои потроха наружу. Плюс мне попадалась пара статей, где на term rewriting перекладывали type theory. Ну и выглядит он не столь негуманоидно, как лиспы, хаскелы и прологи. Поэтому, кмк, весчь интересная...