yes, it's a logic based rather than a statistical based AI system
more strictly, it allows machine comprehensible languages to be defined under it, and it can extract propositions made with these languages into its knowledge base
then it can make logical deductions or piece together code in any machine comprehensible language defined under it

Its features are not even limited to this. Tau is quite amazing really. You can look at the code yourself.