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 */