様相論理学と宣言型言語。