perkun is an experimental AI language. Attempts to maximize the expected value of the payoff function by appropriate choosing the actions (output variables values).
wlodkowic is a perkun extension. It allows adding some informations about the variables allowing reduction of the states.
zubr is a Java code generator based on the Perkun algorithm.