Neurosymbolic AI server combining Prolog's symbolic reasoning with MCPgithub.com/adamrybinski6 pointstriska8 months ago