海词手机词典
  • One of the most valuable research fields in logic programs is deducing negative information. There are two basic rules to negation, closed world assumption and negation as failure.

    播放读音 播放读音