A PROLOG based framework for combined simulation / knowledge based systems. - Seyed Nasser Farimani-Toroghi (1994)