bn:00291640n
Noun Named Entity
AR
No term available
EN
SLD resolution is the basic inference rule used in logic programming. Wikipedia
Relations
Sources