アフィン型をPrologで実装してみた(外部記事)