3 ms·

I used to use Swi-Prolog a lot for their semantic web libraries. I 100% agree that it is a good batteries included open source Prolog.