DAY 16

Picatという言語があります。
論理型の言語です。Prolog系です。
色々機能があって、制約ソルバ的なこともできるっぽいです。

printfがあったのでQuineはそれでやりました。
ドキュメントが微妙に信じられなくて、エスケープシーケンスの仕様が書いてあるのと違って困ったりしていた。
地味に.piという拡張子をこれまで使っていなかったことに驚いていた。

main =>
  [Q, B] = "\"\\",
  S = "main =>%n  [Q, B] = %c%c%c%c%c%c,%n  S = %c%s%c,%n  printf(S, Q, B, Q, B, B, Q, Q, S, Q).%n",
  printf(S, Q, B, Q, B, B, Q, Q, S, Q).

実行は picat コマンドを叩く。

$ picat quine.pi | diff quine.pi -