mirror of
https://github.com/2martens/uni.git
synced 2026-05-07 03:46:25 +02:00
19 lines
218 B
Racket
19 lines
218 B
Racket
#lang racket
|
|
|
|
#|
|
|
SE 3 Funktional Blatt 11
|
|
Abgebende: Jim 2martens, Britta 2noack, Jan-Simon 0giesel
|
|
|#
|
|
|
|
; 1)
|
|
|
|
; 1.1
|
|
(unify '(gebaeude ?Haus weiss)
|
|
'(gebaeude Informatikum ?Farbe) no-bindings)
|
|
|
|
; 1.2
|
|
|
|
; 2)
|
|
|
|
; 3)
|