/*
//paragraph [10] title:    [{\Large \bf ]    [}]
//characters [1] formula:     [$]     [$]
//[ae] [\"{a}]
//[oe] [\"{o}]
//[ue] [\"{u}]
//[ss] [{\ss}]
//[Ae] [\"{A}]
//[Oe] [\"{O}]
//[Ue] [\"{U}]
//[**] [$**$]
//[toc] [\tableofcontents]
//[=>] [\verb+=>+]
//[:Section Translation] [\label{sec:translation}]
//[Section Translation] [Section~\ref{sec:translation}]
//[:Section 4.1.1] [\label{sec:4.1.1}]
//[Section 4.1.1] [Section~\ref{sec:4.1.1}]
//[newpage] [\newpage]


1 Operator Syntax

[File ~opsyntax.pl~]

*/


:-
  op(800, xfx, =>),
  op(800, xfx, <=),
  op(800, xfx, #),
  op(800, xfx, div),
  op(800, xfx, mod),
  op(800, xfx, starts),
  op(800, xfx, contains).


 /* :-  op(200, xfx, :). */



:- op(800, xfx, inside).
:- op(800, xfx, intersects).
:- op(800, xfx, touches).
:- op(800, xfx, passes).
:- op(800, xfx, present).
:- op(800, xfx, or).
:- op(800, fx, not).



/*

----	secondoOp(Op, Syntax, NoArgs) :-
----

~Op~ is a Secondo operator written in ~Syntax~, with ~NoArgs~ arguments.
Currently implemented:

  * postfix, 1 or 2 arguments: corresponds to \_ \# and \_ \_ \#

  * postfixbrackets, 2 or 3 arguments, of which the last one is put into
the brackets: \_ \# [ \_ ] or \_ \_ \# [ \_ ]

  * prefix, 2 arguments: \# (\_, \_)

  * prefix, either 1 or 3 arguments, does not need a rule here, is
translated by default.

  * infix, 2 arguments: does not need a rule, translated by default.

For all other forms, a plan\_to\_atom rule has to be programmed explicitly.


  * postfix, N arguments: corresponds to \_ \# and \_ \_ \#, ...

  * postfixbrackets, N:  $N \geq 1$ arments before the functor, the rest following it
      within squared brackets, separated by commas:
        \_ \# [ \_ ], \_ \# [ \_ , \_ ], \_ \# [ \_ , \_ , \_ ] ...

  * prefix, N: $N \geq 0$ arguments following the functor in round parantheses,
      separated by commas:: \# (\_, \_)

----     Quick Reference:

         OperatorSyntax         |    Use: OperatorType, NoArgs
         -----------------------+-----------------------------
         # ()                   |    prefix, 0
         # ( _ )                |    prefix, 1
         # ( _, _ )             |    prefix, 2
         # (  _, _, _, ...)     |    prefix, n ( n>=1 )
         _ #                    |    postfix, 1
         _ # _                  |    infix, 2
         _ # [ _ ]              |    postfixbrackets, 1
         _ # [ _, _ ]           |    postfixbrackets, 1
         _ # [ _, _, ... ]      |    postfixbrackets, 1
         _ _ #                  |    postfix, 2
         _ _ # [ _ ]            |    postfixbrackets, 2
         _ _ # [ _, _ ]         |    postfixbrackets, 2
         _ _ # [ _, _, ... ]    |    postfixbrackets, 2
         _ _ _ #                |    postfix, 3
         _ _ _ # [ _ ]          |    postfixbrackets, 3
         _ _ _ # [ _, _ ]       |    postfixbrackets, 3
         _ _ _ # [ _, _, ... ]  |    postfixbrackets, 3
        any using list          |    special, _
        any using funlist       |    special, _
        all others,             |    special, _
----

*/



secondoOp(distance, prefix, 2).

secondoOp(feed, postfix, 1).
secondoOp(consume, postfix, 1).
secondoOp(count, postfix, 1).
secondoOp(product, postfix, 2).
secondoOp(filter, postfixbrackets, 2).
secondoOp(loopjoin, postfixbrackets, 2).
secondoOp(exactmatch, postfixbrackets, 3).

secondoOp(leftrange, postfixbrackets, 3).
secondoOp(rightrange, postfixbrackets, 3).
secondoOp(extend, postfixbrackets, 2).
secondoOp(remove, postfixbrackets, 2).
secondoOp(project, postfixbrackets, 2).
secondoOp(sortby, postfixbrackets, 2).
secondoOp(loopsel, postfixbrackets, 2).
secondoOp(sum, postfixbrackets, 2).
secondoOp(min, postfixbrackets, 2).
secondoOp(max, postfixbrackets, 2).
secondoOp(avg, postfixbrackets, 2).
secondoOp(tuplesize, postfix, 1).

%fapra 2015/16

/*

BTree2Algebra \\
MMRTreeAlgebra \\
RTreeAlgebra \\
RectangleAlgebra \\

----     _ _ range [ _ , _ ]
         _ _ itSpatialJoin [ _, _ ,_,_]
         _ _ windowintersects [ _ ]
         bbox ( _ )
         gridintersects (_, _, _, _)
         cellnumber ( _, _)
----

*/

secondoOp(range, postfixbrackets, 4).
secondoOp(itSpatialJoin, postfixbrackets, 4).
secondoOp(windowintersects, postfixbrackets, 3).
secondoOp(bbox, prefix, 1).
secondoOp(gridintersects, prefix, 4).
secondoOp(cellnumber, prefix, 2).

/* 

Array- Algebra 

----     _ tie [ _ ]
----

*/

secondoOp(tie, postfixbrackets, 2).

/* 

Distributed2- Algebra 

----     _ dmap[_,_]
         _ dloop[_,_]
         _ _ dmap2[_,_]
         _ _ dloop2[_,_]
         share( _, _, _)
         _ partition[_,_,_]
         _ partitionF[_,_,_,_]
         _ collect2[ _ , _]
         _ areduce[_, _, _]
         getValue(_)
         _ dsummarize
----

*/

secondoOp(dmap, postfixbrackets2, 3).
secondoOp(dloop, postfixbrackets2, 3).
secondoOp(dmap2, postfixbrackets3, 5).
secondoOp(areduce2, postfixbrackets3, 5).
secondoOp(dloop2, postfixbrackets3, 5).
secondoOp(share, prefix, 3).
secondoOp(partition, postfixbrackets3, 4).
secondoOp(partitionF, postfixbrackets4, 5).
secondoOp(collect2, postfixbrackets2, 3).
secondoOp(areduce, postfixbrackets3, 4).
secondoOp(getValue, postfix, 1).
secondoOp(dsummarize, postfix, 1).

/*
StandardAlgebra

----     hashvalue ( _, _ )
         _ ++
----

*/

secondoOp(hashvalue,prefix, 2).
secondoOp(++, postfix, 1).

%end fapra 2015/16