Computing And PDA

metalogのソースを去年から読んでます。pythonを勉強するために読み始めましたが、イタリア語でコメントされてたりして結構読みにくく感じたけれど、良くかかれていてとても勉強になります。やっとprologで推論するところまできました。