prove that every answer set of program(pi) is closed under(pi)?

Stevie Goldey: program(pi) is any logic programfor exampleq

Elmo Tervo: What is program(pi)? What is pi?EDIT:This seems to be a problem in lambda calculus, a bit beyond me. Maybe you'd have better luck asking this in the computer science section and/or if you put "lambda calculus" or "logic programming" in the question to make it easier to spot....Show more