zamia-prolog (pypi): Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
Keywords: declarative-language|embeddable|logic-programming|prolog|prolog-dialect|python