Googies

I decided not to do the interview, at least not now. If I want to do it later in life I will apply again, but not now. I will apply for some other jobs and internships this summer during my break.

Exams are going alright, i just had bob's test this morning on:

Functional Programming:

1. Type Checking: You should be able to typecheck SMLLite expressions "by hand" by building proof trees from the type rules. Also, you should be able to produce alternate type rules for certain constructs.
2. Operational Semantics: The same applies to the operational semantics of SMLLite as applies to the type system.

Basic Prolog:

1. Functions, relations, and partial functions
2. General relational programming
3. Facts
4. Atomic queries
5. Compound queries
6. Clauses
7. Variables and quantifiers
8. Variable substitution
9. Term unification
10. Occurs check
11. Top-down semantics (SLD resolution)
12. Bottom-up semantics
13. Pure Prolog programming

Advanced Prolog Programming Topics:

1. Nonlocal control and cut (!)
2. Extra-logical predicates
3. Metalogical predicates

It was intense, way too long and everyone was running out of time and freaking out. There will be a curve, but who knows.. at least I got to all of the questions, some people didn't even get to every question

I put 'something' whether its a kakashka or not, for every question

anyway i have a hebrew test later today and a robotics project to present later also
and tomorrow i have a big test too in my Jewishness class that ill be studying for tonight
and then after tomorrow i'm almost done
except the robot project write up
phew.
so much to do.

cant wait till its over.