Functional Languages
	• Considered and rejected the use of functional languages for SHOLIS • Efficiency issues: passing large structures around • Memory usage: Would need to bound the depth of all recursive procedures.