Stratified logic program

1. REDIRECT Syntax_and_semantics_of_logic_programming#Stratified_negation

{{r from subtopic}}

{{r to section}}

{{r with possibilities}}