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