t_wの輪郭

わたしの中でProlog（というか述語論理）が復権しそうな気配を見せている。

GraphQL的なAPI記述言語としてなんかこう、、、やってけませんかね。