// ex2.trp - Example 2
// 
// A Simple TRIPLE example
// 
// Same as ex1.trp, but with some syntax shortcuts

@myModel {

  //Some statements
  ellen[likes->tennis].
  john[likes->football].
  tom[likes->baseball].
  eric[likes->swimming].
  mark[likes->tennis].

  //A rule
  FORALL X bill[likes-> X] <- tom[likes-> X].
}

//A Query (show all facts)

FORALL X,Y,Z <- X[Y->Z]@myModel.

/* OUTPUT

***
X = bill, Y = likes, Z = baseball
X = mark, Y = likes, Z = tennis
X = eric, Y = likes, Z = swimming
X = tom, Y = likes, Z = baseball
X = john, Y = likes, Z = football
X = ellen, Y = likes, Z = tennis

*/