Negation as failure

==> Logikprogrammierung

==> Prolog

<== Inferenz

<== Deduktion

<=> Abgeschlossenheitsannahme