2martens/uni
1
0
Fork 0
mirror of https://github.com/2martens/uni.git synced 2026-05-06 11:26:25 +02:00
Code Releases Activity

SE3-11: Aufgabe 1.1 bearbeitet.

Browse Source
This commit is contained in:
Jim Martens
2014-01-23 18:47:24 +01:00
parent 8a6f1fe0f8
commit 16427f493d
1 changed files with 56 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

59
se3/G08_B11_Jim-2martens_Britta-2noack_Jan-Simon-0giesel.rkt
View File

@ -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)