{"id":25841,"date":"2026-05-19T00:59:52","date_gmt":"2026-05-18T15:59:52","guid":{"rendered":"https:\/\/jore2.com\/community-9334-prolog-coding-horror\/"},"modified":"2026-05-19T00:59:52","modified_gmt":"2026-05-18T15:59:52","slug":"community-9334-prolog-coding-horror","status":"publish","type":"post","link":"https:\/\/jore2.com\/?p=25841","title":{"rendered":"\uc804\uc0b0\ud559\uc758 \uace0\uc804, \ud504\ub864\ub85c\uadf8\uac00 \ub2e4\uc2dc \uc8fc\ubaa9\ubc1b\ub294 \uc774\uc720: \ucd94\uc0c1\uc801 \ub17c\ub9ac\uc5d0\uc11c \uc2e4\uc6a9\uc801 \ub3c4\uad6c\uae4c\uc9c0"},"content":{"rendered":"
\n

\ubc15\uc11c\uc724<\/strong><\/p>\n<\/div>\n

\ucd5c\uadfc \uae00\ub85c\ubc8c \uac1c\ubc1c\uc790 \ucee4\ubba4\ub2c8\ud2f0\ub97c \uac15\ud0c0\ud55c \ud654\uc81c\ub294 \uc758\uc678\ub85c \ub0a1\uc740 \uc5b8\uc5b4\uc778 \ud504\ub864\ub85c\uadf8\uc600\uc2b5\ub2c8\ub2e4. \ub300\ud559 \uc804\uacf5 \uc218\uc5c5\uc5d0\uc11c \ubc30\uc6e0\uc744 \ub54c\ub9cc \ud574\ub3c4 \ub108\ubb34 \ucd94\uc0c1\uc801\uc774\uace0 \uc2e4\uc6a9\uc131\uc774 \ub5a8\uc5b4\uc9c0\ub294 \uac83\ucc98\ub7fc \ub290\uaef4\uc84c\ub358 \uc774 \uc5b8\uc5b4\uac00, \ucd5c\uadfc \ud574\ucee4 \ub274\uc2a4 \uac19\uc740 \uae30\uc220 \ucee4\ubba4\ub2c8\ud2f0\uc5d0\uc11c ‘\ud504\ub864\ub85c\uadf8 \ucf54\ub529 \ud638\ub7ec’\ub77c\ub294 \uc8fc\uc81c\ub85c \ud65c\ubc1c\ud788 \ub17c\uc758\ub418\uba70 \ub2e4\uc2dc \uc8fc\ubaa9\ubc1b\uace0 \uc788\uc2b5\ub2c8\ub2e4. \ub9ce\uc740 \uac1c\ubc1c\uc790\uac00 \uc774 \uc5b8\uc5b4\ub97c \ucef4\ud4e8\ud130 \uacfc\ud559\uc790\ub4e4\uc758 \ucde8\ubbf8\ub85c\ub9cc \uc5ec\uacbc\uc73c\ub098, \uc774\uc81c\ub294 \uadf8 \uc774\uba74\uc5d0 \uc228\uaca8\uc9c4 \ub17c\ub9ac\uc801 \uc0ac\uace0 \ubc29\uc2dd\uc774 \ud604\ub300 \uc18c\ud504\ud2b8\uc6e8\uc5b4 \ubb38\uc81c \ud574\uacb0\uc5d0 \uc0c8\ub85c\uc6b4 \ud1b5\ucc30\uc744 \uc904 \uc218 \uc788\ub2e4\ub294 \uc0ac\uc2e4\uc774 \uc7ac\uc870\uba85\ub418\uace0 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n

\uc774\ub7ec\ud55c \uad00\uc2ec\uc758 \ubc30\uacbd\uc5d0\ub294 \ud504\ub864\ub85c\uadf8 \ud2b9\uc720\uc758 ‘\ub124 \ud3ec\ud2b8 \ubaa8\ub378’\uacfc \uac19\uc740 \ub3c5\ud2b9\ud55c \uc2e4\ud589 \uba54\ucee4\ub2c8\uc998\uc5d0 \ub300\ud55c \uae4a\uc740 \uc774\ud574\uac00 \uc790\ub9ac \uc7a1\uace0 \uc788\uc2b5\ub2c8\ub2e4. \uc77c\ubc18\uc801\uc778 \ud504\ub85c\uadf8\ub798\ubc0d \uc5b8\uc5b4\uac00 \uc815\ub2f5\uc744 \ud558\ub098\ub9cc \ub0b4\ub193\ub294 \uac83\uc744 \ub2f9\uc5f0\uc2dc\ud558\ub294 \ubc18\uba74, \ud504\ub864\ub85c\uadf8\ub294 \uc798\ubabb\ub41c \ub2f5\uc744 \ud3ec\ud568\ud558\ub354\ub77c\ub3c4 \uc804\uccb4 \ubaa9\ub85d\uc744 \ubc18\ud658\ud558\ub294 \ubc29\uc2dd\uc744 \ud5c8\uc6a9\ud569\ub2c8\ub2e4. \uc774\ub294 P \uac00 NP \uc640 \uac19\uc9c0 \uc54a\ub2e4\ub294 \uc804\uc81c\ud558\uc5d0, \ubd88\uc644\uc804\ud55c \uc815\ubcf4 \uc18d\uc5d0\uc11c\ub3c4 \uc720\uc5f0\ud558\uac8c \ub2f5\uc744 \ub3c4\ucd9c\ud574\ub0b4\ub294 \ud604\ub300\uc801\uc778 \uc811\uadfc\ubc95\uacfc \ub9de\ub2ff\uc544 \uc788\uc5b4 \ub9ce\uc740 \uac1c\ubc1c\uc790\ub97c \ub9e4\ub8cc\uc2dc\ud0a4\uace0 \uc788\uc2b5\ub2c8\ub2e4. \ud2b9\ud788 \ub9c8\ub974\ucfe0\uc2a4 \ud2b8\ub9ac\uc2a4\uce74 \uac19\uc740 \uc804\ubb38\uac00\ub4e4\uc774 \uc791\uc131\ud55c \uba54\ud0c0 \uc778\ud130\ud504\ub9ac\ud130 \uad00\ub828 \uae00\ub4e4\uc774 \ucee4\ubba4\ub2c8\ud2f0 \ub0b4\uc5d0\uc11c \ud070 \uc601\uac10\uc744 \uc8fc\uba70, \uc774 \uc5b8\uc5b4\uc758 \uc7a0\uc7ac\ub825\uc744 \uc7ac\ud3c9\uac00\ud558\ub294 \uacc4\uae30\uac00 \ub418\uc5c8\uc2b5\ub2c8\ub2e4.<\/p>\n

\uc2e4\uc81c \ud604\uc7a5\uc5d0\uc11c\uc758 \ud65c\uc6a9 \uc0ac\ub840\ub97c \ucc3e\uc544\ubcf4\uae30\ub294 \uc5b4\ub835\uc9c0\ub9cc, \ud504\ub864\ub85c\uadf8\uc758 \uc601\ud5a5\ub825\uc740 \uac04\uc811\uc801\uc73c\ub85c \ud655\uc778\ub429\ub2c8\ub2e4. \ucd08\uae30 \ubc84\uc804\uc758 \uc5bc\ub7ad\uc774 \ud504\ub864\ub85c\uadf8\uc5d0\uc11c \uc601\uac10\uc744 \ubc1b\uc558\ub2e4\ub294 \uc0ac\uc2e4\uc740 \ub3d9\uc2dc\uc131 \ud504\ub85c\uadf8\ub798\ubc0d\uc758 \ubc1c\uc804\uc0ac\uc5d0 \uc911\uc694\ud55c \ub2e8\uc11c\ub97c \uc81c\uacf5\ud569\ub2c8\ub2e4. \uc5bc\ub7ad\uacfc \uc774\ub9ac\ud06c \uac19\uc740 \uc5b8\uc5b4\ub97c \ub2e4\ub904\ubcf8 \uac1c\ubc1c\uc790\ub4e4\uc740 \ud504\ub864\ub85c\uadf8\uc640\uc758 \uc720\uc0ac\uc810\uc744 \ubc1c\uacac\ud558\uba70, \ub17c\ub9ac \ud504\ub85c\uadf8\ub798\ubc0d\uc774 \uc5b4\ub5bb\uac8c \ud604\ub300\uc758 \ubd84\uc0b0 \uc2dc\uc2a4\ud15c \uc124\uacc4\uc5d0 \uc601\ud5a5\uc744 \ubbf8\ucce4\ub294\uc9c0 \ubd84\uc11d\ud558\uace0 \uc788\uc2b5\ub2c8\ub2e4. \ube44\ub85d \ud504\ub864\ub85c\uadf8 \uc790\uccb4\uac00 \ub110\ub9ac \uc4f0\uc774\uc9c0\ub294 \uc54a\uc9c0\ub9cc, \uadf8 \ucca0\ud559\uc740 Datalog \ub098 OPA \uac19\uc740 \ud30c\uc0dd \uc5b8\uc5b4\ub4e4\uc744 \ud1b5\ud574 \uc5ec\uc804\ud788 \uc0b4\uc544 \uc228 \uc26c\uace0 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n

\uc55e\uc73c\ub85c \ud504\ub864\ub85c\uadf8\uac00 \ub2e8\uc21c\ud55c \ud559\ubb38\uc801 \ud638\uae30\uc2ec\uc744 \ub118\uc5b4 \uc2e4\uc81c \uc0b0\uc5c5 \ud604\uc7a5\uc5d0\uc11c \uc5b4\ub5a4 \ubcc0\ud654\ub97c \uc77c\uc73c\ud0ac\uc9c0 \uc8fc\ubaa9\ud574\uc57c \ud569\ub2c8\ub2e4. \ud2b9\ud788 \ubcf5\uc7a1\ud55c \uc81c\uc57d \uc870\uac74\uc744 \ub9cc\uc871\ud574\uc57c \ud558\ub294 \ubb38\uc81c\ub098 \ub17c\ub9ac\uc801 \ucd94\ub860\uc774 \ud544\uc694\ud55c AI \ubd84\uc57c\uc5d0\uc11c\ub294 \ud504\ub864\ub85c\uadf8\uc758 \uc0ac\uace0\ubc29\uc2dd\uc774 \uc0c8\ub85c\uc6b4 \ud45c\uc900\uc774 \ub420 \uac00\ub2a5\uc131\ub3c4 \ubc30\uc81c\ud560 \uc218 \uc5c6\uc2b5\ub2c8\ub2e4. \uac1c\ubc1c\uc790\ub4e4\uc774 \uc774 \ub0a1\uc740 \uc5b8\uc5b4\uc5d0\uc11c \ubc1c\uacac\ud55c \uc0c8\ub85c\uc6b4 \ud1b5\ucc30\uc774 \ud5a5\ud6c4 \uc18c\ud504\ud2b8\uc6e8\uc5b4 \uc544\ud0a4\ud14d\ucc98\uc758 \ud750\ub984\uc744 \uc5b4\ub5bb\uac8c \ubc14\uafc0\uc9c0, \uadf8\ub9ac\uace0 \ub17c\ub9ac \ud504\ub85c\uadf8\ub798\ubc0d\uc758 \ubd80\ud65c\uc774 \uc5b4\ub5a4 \uae30\uc220\uc801 \ud601\uc2e0\uc744 \uac00\uc838\uc62c\uc9c0 \uc9c0\ucf1c\ubcf4\ub294 \uac83\uc774 \uc911\uc694\ud569\ub2c8\ub2e4.<\/p>\n","protected":false},"excerpt":{"rendered":"

\ub300\ud559 \uac15\uc758\uc2e4\uc5d0\uc11c\ub9cc \uc874\uc7ac\ud560 \uac83 \uac19\ub358 \ud504\ub864\ub85c\uadf8\uac00 \uae00\ub85c\ubc8c \uac1c\ubc1c \ucee4\ubba4\ub2c8\ud2f0\uc5d0\uc11c \ub728\uac70\uc6b4 \ub17c\uc7c1\uc758 \uc911\uc2ec\uc5d0 \uc130\uc2b5\ub2c8\ub2e4. \ub0af\uc120 \ub17c\ub9ac \ud504\ub85c\uadf8\ub798\ubc0d \ud328\ub7ec\ub2e4\uc784\uc774 \uc65c \ub2e4\uc2dc \uc8fc\ubaa9\ubc1b\ub294\uc9c0, \uadf8\ub9ac\uace0 \uc2e4\uc81c \ud604\uc7a5\uc5d0\uc11c \uc5b4\ub5bb\uac8c \ud65c\uc6a9\ub418\uace0 \uc788\ub294\uc9c0 \uadf8 \uc774\uba74\uc744 \ud30c\ud5e4\uccd0 \ubd05\ub2c8\ub2e4.<\/p>\n","protected":false},"author":6,"featured_media":25840,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[406],"tags":[10332,19327,3338,19328,19326],"class_list":["post-25841","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-406","tag-10332","tag-19327","tag-3338","tag-19328","tag-19326"],"featured_image_urls":{"full":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/05\/97938914958563775-490781544.jpg",1000,1000,false],"thumbnail":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/05\/97938914958563775-490781544-150x150.jpg",150,150,true],"medium":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/05\/97938914958563775-490781544-300x300.jpg",300,300,true],"medium_large":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/05\/97938914958563775-490781544-768x768.jpg",640,640,true],"large":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/05\/97938914958563775-490781544.jpg",640,640,false],"1536x1536":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/05\/97938914958563775-490781544.jpg",1000,1000,false],"2048x2048":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/05\/97938914958563775-490781544.jpg",1000,1000,false],"morenews-large":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/05\/97938914958563775-490781544-825x575.jpg",825,575,true],"morenews-medium":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/05\/97938914958563775-490781544-590x410.jpg",590,410,true]},"author_info":{"info":["\ubc15\uc11c\uc724"]},"category_info":"\uc694\uc998\ub728\ub294\uc18c\uc2dd<\/a>","tag_info":"\uc694\uc998\ub728\ub294\uc18c\uc2dd","comment_count":"0","_links":{"self":[{"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/posts\/25841","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=25841"}],"version-history":[{"count":0,"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/posts\/25841\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/media\/25840"}],"wp:attachment":[{"href":"https:\/\/jore2.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=25841"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=25841"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=25841"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}