Oct 24, 2003
-------------

- More on parameter passing
	- ALGOL60 used pass-by-name
	- since then deprecated due to problems in
	  comprehension

- How are these mechanisms implemented?
	- use activation records on a stack to
	  capture dynamic entry into procedures
	- have a control link, to denote the caller
	- have an access link, to denote where to get
	  variables (why?)
		- we are assuming static scoping, so
		  cannot use control link for resolution

- Read rest of Chapter 9 on your own

- Onto next:
	- PROLOG: a declarative language

- Main mode of PROLOG operation
	- state facts
	- specify rules
	- ask questions

- Applications of PROLOG
	- logical reasoning
	- problem solving
		- cryparithmetic problems
		  SEND+MORE=MONEY
		- GRE analytical problems
		- puzzles