ABSTRACT
Laws and regulations thus specify not only physical boundary conditions but also logical networks. Our system DEST contains rules in the form of frames which are written in PROLOG/KR (Nakashima, 1983). PROLOG/KR is written in UTILISP (Chikayama, 1981).
