Simulating a lb - Bix Microprocessor in prolog - AHMAD bin Abdullah (UTM, 1989)