Integer LLM with Prolog Knowledge Base: Bidirectional Neural-Symbolic Architecture for Provenanced Generation | Synapse