mirror of
https://github.com/2martens/uni.git
synced 2026-05-07 03:46:25 +02:00
96 lines
2.5 KiB
Racket
96 lines
2.5 KiB
Racket
#lang lazy
|
|
|
|
#|
|
|
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"))
|
|
(require racket/stream)
|
|
|
|
; 1)
|
|
|
|
; 1.1
|
|
|
|
; 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.
|
|
; Im interactions view laufen alle Abfragen. Einige jedoch laufen nicht hier.
|
|
|
|
|
|
;(?- (ausleihe "K 110" ?))
|
|
|
|
; 2.
|
|
;(?- (leser Linux Leo ?lesernummer ?))
|
|
|
|
; 3.
|
|
;(?- (vorbestellung "P 30" ?lesernummer)
|
|
; (leser ?nachname ?vorname ?lesernummer ?))
|
|
|
|
; 4.
|
|
;(?- (test (< ?jahr 1954))
|
|
; (leser ?nachname ?vorname ?lesernummer ?geburtsjahr)
|
|
; (ausleihe ? ?lesernummer))
|
|
|
|
; 5.
|
|
;(?- (leser ?nachname ?vorname ?lesernummer ?)
|
|
; (count ?c (ausleihe ? ?lesernummer))
|
|
; (test (> ?c 1)))
|
|
|
|
; 2)
|
|
|
|
(define memo-fac (memo fac))
|
|
|
|
; 3)
|
|
(define natNumb (in-naturals 1))
|
|
(define evilSeven (stream-map (λ (x)
|
|
(if (or
|
|
(= [modulo x 7] 0)
|
|
(pair? (member #\7
|
|
(string->list (number->string x)))))
|
|
'sum
|
|
x))
|
|
natNumb))
|
|
|
|
|