kanren (cargo): Logic Programming in rust. 
Keywords: logic-programming