初時狀態，即係遊戲開始嗰陣狀態係點，例如喺國際象棋遊戲開始嗰陣，雙方嘅棋都係喺某個特定位置，個程式會有一柞 init(p)，當中 p 係一句喺遊戲開始嗰陣係真嘅命題；