The variable _ signifies an anonymous variable; Each individual instance of _ in a very clause is treated being a new variable. We implement the need that each variable inside a clause must be certain. A variable X is certain if a minimum of considered one of the subsequent problems https://datalog527159.suomiblog.com/detailed-notes-on-datalog-49464887