Predicate Logic Software Systm