I'm an experienced java enterprise developer but new to Rust. I've taken a stab at building a predicate logic tautology prover for formal constructs at GitHub - glancey/axiom · GitHub, and welcome suggestions and comments.

My goal is to create a full-fledged inductive logic programming (ILP) AI solution in Rust. A more modest objective is to incorporate my prover in constructing games that can be algorithmically solved, or not (respecting Godel's incompleteness).

1 post - 1 participant

Read full topic