Fionnula Barnes

• A critical comparison of Excelerator and Prolog as consistency checking and prototyping tools