mwang (04/20/83)
_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
_U_N_I_V_E_R_S_I_T_Y _O_F _W_A_T_E_R_L_O_O
_S_E_M_I_N_A_R _A_C_T_I_V_I_T_I_E_S
_S_Y_S_T_E_M_S _S_E_M_I_N_A_R
- Tuesday, April 26, 1983.
Dr. Lars Kahn of The Swedish Board for Technical
Development will speak on ``PROLOG as a Tool for Con-
ceptual Schema Specification''.
TIME: 1.30 PM
ROOM: MC 5158
ABSTRACT
The talk will define the role of a conceptual schema in
the contexts of system design and system maintenance.
The thesis of the talk is that it is possible to use
PROLOG to specify all rules (including inference rules)
which will form the body of application knowledge that
must be preserved during the performance oriented
design of data base and programs.
Thus the conceptual schema defines completely the logi-
cal state space of an implemented system. Some typical
information modeling situations and needs will be in-
troduced together with examples of PROLOG code which
realizes these needs.
April 20, 1983