Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.
As from Mandarax 1.3, a loop checking algorithm can be used as plug-in for the inference engine. There is a reference implementation as well, check out the respective demos / test cases! Note that the loop checking is (theoretically) not correct, but works rather effective for finite domains (e.g, for business applications).
