I’m looking for more of a library that integrates with other programs, not a standalone program itself. I’ve seen other prolog implementations that fit the bill but they seem to rely on parsing program text from a clean state—they don’t “remember” facts on their own.