Interactively building and executing {TAIL ~ knowledge base system} with {HEAD ~ knowledge variables} 
Interactively building and executing { TAIL ~ knowledge base system } with { HEAD ~ knowledge variables }
OTH OTH OTH OTH TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH HEAD HEAD HEAD HEAD HEAD HEAD