Computer Science

Principles of Programming Languages

Answer Set Programming

Consider the following positive logic program.

cookie.

milk :$-$ cookie.

jam :$-$ milk,cake.

cake :$-$ jam.

cake :$-$ cookie, juice.

Which of the following are solutions $($stable models$)$ of this program?

$\{$cookie$\}$

$\{$cookie$,$ milk$\}$

$\{$cookie$,$ jam$\}$

$\{$cookie$,$ cake$\}$

$\{$cookie$,$ milk, jam, cake$\}$

$\{$jam$\}$