なんとなく試しつつ調べていて知ったけど、普通のPrologっぽい記法だと仮定とか不確定情報を扱うのは難しいらしい。

不完全・不確定な情報を扱う論理だそうだ