Dari apa yang saya lihat tentang Prolog, sepertinya itu akan ideal untuk membuat mesin aturan untuk suatu aplikasi. Namun, saya tidak percaya saya pernah melihat mesin aturan yang ditulis dalam Prolog. Apakah ada batasan bawaan dalam Prolog (mis. Algoritma pengumpulan sampah yang buruk) yang akan mencegahnya digunakan untuk membangun mesin aturan?