1%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2%% $Id: modal_ops.pl,v 1.5 1995/01/27 13:45:38 gerd Exp $ 3%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 4%%% 5%%% This file is part of ProCom. 6%%% It is distributed under the GNU General Public License. 7%%% See the file COPYING for details. 8%%% 9%%% (c) Copyright 1995 Gerd Neugebauer 10%%% 11%%% Net: gerd@imn.th-leipzig.de 12%%% 13%%%**************************************************************************** 14 15/*%^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 16 17\chapter 18[Die Datei {\tt tom\_ops}] 19{Die Datei {\Huge \tt tom\_ops}} 20 21We introduce the input language to the system. 22 23The language should agree with the language of the problem collection to be 24developed. (This is a project under discussion.) 25 26The precedences we have set are compared to the predecences of the 27corresponding Otter operators. We have chosen the precedences of our 28operators according to the standard colon in Prolog, the precendece of 29which is 600. 30 31\makevertother 32\begin{center} 33\begin{tabular}{l|l|l|l} 34 & & corresponding & \\ 35operator & precedence & Otter operator & precedence \\ \hline 36{\tt equivalent} & 1150 & & \\ 37{\tt implies} & 1100 & & \\ 38{\tt and} & 1050 & {\tt \&} & 780 \\ 39{\tt or} & 1050 & {\tt |} & 790\\ 40{\tt not} & 400 & {\tt -} & 500\\ 41{\tt forall} & 600 & {\tt all} & \\ 42{\tt exists} & 600 & {\tt exists} & \\ 43{\tt box} & 600 & & \\ 44{\tt diamond} & 600 & & \\ 45\end{tabular} 46\end{center} 47\makevertactive 48 49\PL*/ 50:- op(1150, xfy, 'equivalent'), 51 op(1100, xfy, 'implies'), 52 op(1000, xfy, 'and'), 53 op(1050, xfy, 'or'), 54 op( 400, fy, 'not'). 55 56:- op( 600, fy, 'forall'), 57 op( 600, fy, 'exists'). 58 59:- op( 600, fy, 'box'), 60 op( 600, fy, 'diamond'). 61/*PL%^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 62\EndProlog */