diff --git a/se3/G08_B11_Jim-2martens_Britta-2noack_Jan-Simon-0giesel.rkt b/se3/G08_B11_Jim-2martens_Britta-2noack_Jan-Simon-0giesel.rkt index b48be1a..e2e09d6 100644 --- a/se3/G08_B11_Jim-2martens_Britta-2noack_Jan-Simon-0giesel.rkt +++ b/se3/G08_B11_Jim-2martens_Britta-2noack_Jan-Simon-0giesel.rkt @@ -1,17 +1,70 @@ -#lang racket +#lang swindle #| SE 3 Funktional Blatt 11 Abgebende: Jim 2martens, Britta 2noack, Jan-Simon 0giesel |# +(require (lib "prologDB.ss" "se3-bib" "prolog") + (lib "unify.ss" "se3-bib" "prolog") + (lib "prolog.ss" "se3-bib" "prolog") + (lib "prologInScheme.ss" "se3-bib" "prolog")) + ; 1) ; 1.1 -(unify '(gebaeude ?Haus weiss) - '(gebaeude Informatikum ?Farbe) no-bindings) + +; Ausdruck1 | Variablenbindungen: +; Ausdruck2 + +; (gebaeude ?Haus weiss) | '((?Farbe . weiss) (?Haus . Informatikum)) +; (gebaeude Informatikum ?Farbe) + +; (Karten ((k Pik As) (k Herz Dame))) | #f +; (Karten ((k Pik As) (k Herz Koenig))) + +; (Karten ((k Pik As) (k Herz Dame))) | '((?Farbe . Dame)) +; (Karten ((k Pik As) (k Herz ?Farbe))) + +; (Karten ((k Pik As) (k Herz Dame))) | '((?Farbe . Dame)) +; (Karten ((k Pik As) (k Herz ?Farbe))) + +; (Karten ((k Pik As) . ?andere)) | '((?andere (k Herz Koenig) (k Kreuz Dame))) +; (Karten ((k Pik As) (k Herz Koenig) (k Kreuz Dame))) + +; (Paar (k ?farbe As) (k Pik ?wert)) | '((?wert . As) (?farbe . Pik)) +; (Paar (k Pik ?wert) (k ?farbe As)) + +; (Paar (k ?farbe As) (k Pik ?wert2)) | '((?wert2 . As) (?wert . As) (?farbe . Pik)) +; (Paar (k Pik ?wert) (k ?farbe ?wert)) ; 1.2 +(<- (ausleihe "K 110" 100)) +(<- (ausleihe "P 30" 102)) +(<- (ausleihe "P 32" 104)) +(<- (ausleihe "P 50" 104)) +; (vorbestellung Signatur Lesernummer) +(<- (vorbestellung "K 110" 104)) +(<- (vorbestellung "K 110" 102)) +(<- (vorbestellung "P 30" 100)) +(<- (vorbestellung "P 30" 104)) +; (leser Name Vorname Lesernummer Geburtsjahr) +(<- (leser Neugierig Nena 100 1989)) +(<- (leser Linux Leo 102 1990)) +(<- (leser Luator Eva 104 1988)) + +; 1. + +;(?- (ausleihe "K 110" ?lesernummer)) + +; 2. +;(?- (leser Linux Leo ?lesernummer ?)) + +; 3. +;(?- (vorbestellung "P 30" ?lesernummer) +; (leser ?nachname ?vorname ?lesernummer ?)) + +; 4. ; 2)