Welcome to Categorical Software.

Categorical Software is a small software consulting firm that has been operating in Australia since 1995.

We understand and practice the use of modern programming paradigms, including functional, logic and constraint programming.

Our highly-skilled staff can bring the best available technology to bear on your IT problems.