Nice to learn about this interesting language. Besides its mixed logical-imperative paradigm and planner, it also has a neuron network module for creating simple nn. Looks like a nice alternative to prolog.