This is the correct approach. It excels in certain domains. If you need something that is suspiciously close to some kind of rule engine then prolog is the way

This is the correct approach. It excels in certain domains. If you need something that is suspiciously close to some kind of rule engine then prolog is the way to go.