Prolog - ぷろろぐ

Prologとは、人間の願いを事実と規則の錬金術に変換し、それを論理エンジンという迷宮に投げ込む魔法の箱である。結果は論理式の迷路をさまようバックトラッキングという名の探検を経て返される。変数は値を待つ貴族、呼び戻されるまで安眠を許されない。ガード節は門番となり、命令は証明されるか否かの二択で裁かれる。Prologの真理は常に「真」を返し、開発者はただ祈るのみ。