Prolog

プロログのメモを書いてくかもしれない。

論理型言語らしい。