// CSE 414 Unit 2 -- Relational Data Model
// Souffle demo
// run using souffle [filename]

// here we declare an EDB called Movie from lecture
.decl Movie(id: number, name: symbol, year: number)

Movie(7909, "A Night in Armour", 1910).
Movie(29000, "Arizona", 1940).
Movie(29445, "Ave Maria", 1940).

// now we compute the count of movies group by year
.decl Q(year: number, c: number)
.output Q(IO=stdout)

Q(y,c) :- Movie(_,_,y), c = count : { Movie(_,_,y) }.