[CST-2] Spec&Ver I 2000/7/1

[Matej Pfajfar]

Has anyone done this?
It asks to discuss how FH-logic could be extended to support expressions
with side-effects, i.e. of the form (C; E) where C is executed and then
the value of E is returned.

It's for 6 marks - how does he want for something like this? New rules for
all commands?

Matej Pfajfar
St John's College, University of Cambridge, UK

GPG Public Key @ http://matejpfajfar.co.uk/keys
Most people are good people, the rest of us are going to
run the world. -- badbytes

WARNING: THIS E-MAIL ACCOUNT WILL BE DELETED ON
         15/07/2002. PLEASE USE mp@cantab.net.