logic_cleaver Use SWI-Prolog to run this --> available here First draft a simple atomic model. More to come.