This paper explores the relationship between veriication of logic programs and imperative programs with the aim of uncovering the kinds of reasoning used to construct logic programs. We discuss forward reasoning, such as that used for verifying imperative programs using the inductive assertion method, and backward reasoning, such as that used for verifying imperative programs using subgoal indu...

not available

the main objective of the current study is to investigate the impacts of environmental evolutionsat global scale on iran’s environmental planning. thereby, all political movements towards solving environmental issues in iran were accurately reviewed to find out the impressibility of the events by the global environmental evolutions. the findings indicated that iran has joined the conventions an...