Fixed typo datalog variable pattern
Added licensing information