Schlussregel (formal)

Schlussregel (formal)

Frage:

Wie ist die formale Vorgehensweise der Schlussregel?

Gegeben:

  • Anfrage: $?- G_1 , ... , G_n$
  • Unifikator: $\theta$
  • Programm P mit C :- $A_1, ... , A_m$

 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.