Combine it with prolog to prove reasoning.