>ETI (Equivalent Transformation rule Interpreter) とは、等価変換プログラミングという新しいソフトウェア開発方法を実現する言語処理システムです。
>BASIC、C、Prologなどのように汎用的なプログラミングが可能がですが、理論的基礎に「等価変換に基づく問題解決」を採用している点が、他の言語と大きく異なります。
だそうです。
結局、「後で読む」用。