Experimental logic programming system, written in Rust - View it on GitHub