Knowledge-based program construction