Prova是通过Prolog编译器或Prolog解释器实现的吗

Prova是通过Prolog编译器或Prolog解释器实现的吗