論理プログラミング
線形論理を扱っている。