אנגלית ⇄ גרמנית סינית +

SLD resolution
.בינה	lineare Resolution mit Selektionsfunktion für definite Klauseln; SLD-Resolution f