Ein Hinweis zu Aufgabe 1, Blatt 2:



  Verwenden Sie dabei folgende Notation für die Produktionen:

  <Produktionen>  ::=  <Regelname> :: <Form1>  -->  <Form2> .
         <Form1>  ::=  <AForm> | and(<Form1>,<Form1>) | or(<Form1>,<Form1>)
         <Form2>  ::=  <AForm>

  Im Gegensatz zu Bratko können Sie als Trenner zwischen Regelname
  und Regel '::' verwenden, da ':' von Quintus Prolog genutzt wird,
  z.B. regel45 :: and(Tier hat federn, Tier legt_eier)
		   --> Tier ist_ein vogel.

Ein Hinweis zu Aufgabe 2, Blatt 2:

Wer die assert/retract-Initialisierung mit Quintus nicht loesen konnte, kann einen möglichen Weg im modifizierten hole_antwort ersehen. Hier ist auch der Tippfehler 'useranwer' behoben.