HELPING THE OTHERS REALIZE THE ADVANTAGES OF DATALOG 5

The variable _ signifies an nameless variable; Every single instance of _ in a clause is taken care of being a contemporary variable. We enforce the need that every variable inside of a clause has to be sure. A variable X is certain if at least considered one of the following ailments retains:Description: Cortech Developments Main software package