Title: Knowledge Based Program Construction II