{{Cat main|Rule engines}}
Category:Artificial intelligence
Category:Data modeling
Category:Knowledge representation software
Category:Automated reasoning