Prolog project

A program in the SWI-Prolog/JFLAP, the core of the program must be a graph or automaton with at least 10 states, or in the case of a Prolog program with 10 predicates having at least one variable.