Clicker Questions
1: What is (cons '(a) '(b)) ?
2: What is (first '((a b) (c d))) ?
3: What is (rest '((a b) (c d))) ?
4: (rest (rest '((a b) (c d)))) ?
5: (length '((a b) (c d)) ) ?
6: (reverse '((a b) (c d)) ) ?
7: (append '(a b) '(c d)) ?
8: (intersection '(c r e a m) '(s u g a r))
9: (union '(c r e a m) '(s u g a r))
10: (set-difference '(c r e a m) '(s u g a r))
11: order in which nodes of tree are visited
in depth-first order
12: (map first '((a 1) (b 2) (c 3)))
13: (map rest '((a 1) (b 2) (c 3)))
14: (map second '((a 1) (b 2) (c 3)))
15: (map thecount '((a 1) (b 2) (c 3)))
16: Is every thing in the empty list a number?
17: Is some thing in the empty list a number?
18: (subst 'foo 'news '(no news is good news))
19: (sublis '((man adam) (woman eve))
'(man loves woman))
20: (match '(?man loves ?woman)
'(john loves mary))
21: (match '(- ?x ?x)
'(- y 3))
22: (transform '((- (- ?x ?y)) (- ?y ?x) )
'(- (- (sin theta) z)) )
23: What is the CNF clause form of:
A ∧ B ∧ C → D
24: result of the resolution step
25: certainty from a rule
26: map and reduce