Version 0 of predicate logic

Updated 2005-12-31 00:37:07