Title: Knowledge-based compiler generation and logic programming