Introduction to
Logic Programming
 What
versus
How 		 
Exercise 2.7 - Counting Datasets

Consider a world with n symbols, no constructors, and a single binary predicate. How many distinct datasets are possible for this language?

n     n2     2n     nn     2n2     22n