prolog - Prova は Prolog コンパイラまたは Prolog インタープリタで実装されていますか?

Question

私は Java で書かれた Prolog システム、Prova を見ています。 https://prova.ws/

しかし、その実装、Prolog コンパイラーまたは Prolog インタープリターについては明確ではありませんか? マニュアルを読みましたが、答えが見つかりませんでした。