achment   — ▁an ▁earlier ▁version ▁of ▁resolution ▁ ▁Ind uct ive ▁logic ▁programming ▁ ▁In verse ▁resolution ▁ ▁Log ic ▁programming ▁ ▁Method ▁of ▁analyt ic ▁table aux ▁ ▁S LD ▁resolution ▁ ▁Resol ution ▁inference ▁ ▁Notes ▁ ▁References ▁ ▁External ▁links ▁▁▁▁▁▁ ▁Category : 1 9 6 5 ▁introdu ctions ▁Category : R ules ▁of ▁inference ▁Category : Autom ated ▁theorem ▁prov ing ▁Category : The or ems ▁in ▁propos itional ▁logic <0x0A> </s> ▁Ran vik ▁() ▁is ▁a ▁c ove ▁ 3 . 5 ▁na ut ical ▁miles ▁( 6   km ) ▁sout heast ▁of ▁Dia z ▁C ove ▁along ▁the ▁south ▁coast ▁of ▁South ▁Georgia . ▁Survey ed ▁by ▁the ▁S GS ▁in ▁the ▁period ▁ 1 9 5 1 – 5 7 . ▁The ▁name ▁is ▁well ▁established ▁in ▁local ▁use . ▁ ▁Category : C ov es ▁of ▁Ant arct ica <0x0A> </s> ▁The ▁so ha ege um ▁( hang ul : ▁ 소 해 금 ; ▁han ja : ▁ 四 <0xE5> <0xA5> <0x9A> <0xE7> <0x90> <0xB4> ) ▁is ▁a ▁North ▁Korean ▁musical ▁instrument , ▁developed ▁in ▁the ▁ 1 9 6 0 s . ▁It ▁is ▁essentially ▁a ▁modern ized ▁form ▁of ▁the ▁ha ege um ▁( a ▁traditional ▁Korean ▁bow ed ▁vertical ▁fiddle ). ▁So ▁( han ja : ▁ 四 ) ▁in ▁so ha e he um ▁means ▁" four ," ▁because ▁it ▁has ▁four ▁strings . ▁▁ ▁Its ▁tun ing ▁p eg s ▁are ▁like ▁those ▁of ▁the ▁viol in