logru (cargo): A small, embeddable and fast interpreter for a subset of Prolog.
Keywords: prolog|logic-programming|first-order-logic|hacktoberfest|rust