各種語言釋義
Prolog技术定理证明器
Prolog科技定理證明器
Prolog Technology Theorem Prover
Prolog Technology Theorem prolog
Probador de teoremas técnicos prolog
Provedor de Teoria de Prolog Technology
доказательство технической теоремы Prolog
مبرهنة حاسوب
Prolog Technology Theorem Prover
Prolog技術定理証明器
Prolog 기술 정리 증명 기
พิสูจน์ทฤษฎีบทของเทคโนโลยี Prolog