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