論理プログラミング言語はSQLって形で広まってるよ☆