Egison is the world's first programming language that realized non-linear pattern-matching with backtracking.
We can directly represent pattern-matching against lists, multisets, sets, trees, graphs and any kind of data types.
Egison makes programming dramatically simple!
Egison 3.3.0 is the latest version.
Egison proposes a new paradigm pattern-matching-oriented. Following features enables intuitive powerful pattern-matching.
Pattern-matching against ...
We aim intuitive representation of algorithms and formalization of human recognitions.
We believe this is the shortest way to the artificial intelligence.