Prologは、算数(数学)だけではなく、国語、社会、理科などの科目のノート(PC/タブレット)への記述形式として有力です。
社会科や理科が始まる前にこの言語の準備ができていることが望ましく、漢字を本格的に使い始める二年生あたりの導入が望ましいと思います。