1.まずPythonでPrologを実装します