Knowledge-based program