In the context of logic programming, this idea leads to the need to distinguish between two kinds of negation — negation as failure, discussed above, and strong negation, which is denoted here by ∼ {\displaystyle \sim } .
В контексті логічного програмування ця ідея призводить до потреби розрізнювати два типи заперечення — заперечення як відмови, обговорюваного вище, та сильного заперечення (англ. strong negation), що позначається тут через ∼ {\displaystyle \sim } .