Source: http://www.lirmm.fr/~mugnier/graphik/kiabora/downloads/datalog-plus_en.pdf