mwang@watmath.UUCP (mwang) (12/07/83)
_U_N_I_V_E_R_S_I_T_Y _O_F _W_A_T_E_R_L_O_O _D_E_P_A_R_T_M_E_N_T _O_F _C_O_M_P_U_T_E_R _S_C_I_E_N_C_E _j_o_i_n_t_l_y _w_i_t_h _D_E_P_A_R_T_M_E_N_T _O_F _E_L_E_C_T_R_I_C_A_L _E_N_G_I_N_E_E_R_I_N_G PRESENTS A COMPUTER ARCHITECTURE SEMINAR ON The Quest for the Ultra Simple Prolog Machine with Prof. M.H. van Emden Department of Computer Science University of Waterloo DATE: Monday, December 12, 1983 at 3:30 PM ROOM: MC 5158 ABSTRACT Existing virtual Prolog machines are influenced by conven- tional architectures. Developments in VLSI technology change architectural constraints. Hence it is useful to identify the simplest possible Prolog machine and to be able to optimize it to any of several sets of architectural con- straints (for example, a small instruction set). In this talk I explain the approach to an Ultra Simple Prolog Machine taken in the Logic Programming Group. December 7, 1983