This tutorial provides revision for Unary and Binary fact types and then explains the following:
This updated tutorial was uploaded on 27 June 2009