Matching logic
મેળ ખાતો તર્ક એ એક ઔપચારિક તર્ક છે જેનો ઉપયોગ મુખ્યત્વે કોમ્પ્યુટર પ્રોગ્રામની શુદ્ધતા વિશે તર્ક કરવા માટે થાય છે. તેના ઓપરેટરો સ્ટેટ્સના સમૂહને બદલે સ્ટેટ્સના પાવર સેટ પર કામ કરવા માટે પેટર્ન મેચિંગનો ઉપયોગ કરે છે. તે ગ્રિગોર રોસુ દ્વારા બનાવવામાં આવ્યું હતું અને તેનો ઉપયોગ કે ફ્રેમવર્કમાં થાય છે. ઝાંખી મેળ ખાતો તર્ક પેટર્ન પર કામ કરે છે. નિવેદનો મૂલ્યોના સમૂહ સાથે મૂલ્યાંકન કરે છે જે તેમને "મેળ ખાય છે", સાચું કે ખોટું નહીં. સહીઓના સમૂહને જોતાં, એક પેટર્ન હોઈ શકે છેઃ એક ચલઃ અન્ય પેટર્નનો ઉપયોગ કરીને સહીને અનુસરતી રચનાઃ અન્ય પેટર્નનું પૂરકઃ બે પેટર્નનું આંતરછેદઃ એક બંધનઃ એક મેળ ખાતા તર્ક સાથે પણ પ્રકારોનો સમૂહ હોઈ શકે છે. તે કિસ્સામાં, દરેક પેટર્ન ચોક્કસ પ્રકારની હોય છે. માળખાઓનો ઉપયોગ વિવિધ પ્રકારની પેટર્નને એકસાથે જોડવા માટે થઈ શકે છે. પ્રોગ્રામ સિમેન્ટિક્સ સાથે કામ કરતી વખતે ઉપયોગમાં લેવાતા પ્રકારોના કેટલાક ઉદાહરણો "32-બીટ પૂર્ણાંક મૂલ્યો", "સ્ટેક ફ્રેમ્સ" અથવા "હીપ મેમરી" હોઈ શકે છે. કેટલીક વ્યુત્પન્ન વિભાવનાઓને આ રીતે વ્યાખ્યાયિત કરવામાં આવે છેઃ તે તમામ તત્વો સાથે મેળ ખાય છે. કોઈ સાથે મેળ ખાતો નથી. "આવા બિન-શાસ્ત્રીય તર્ક સાથે તર્ક કરતી વખતે વ્યક્તિએ સાવચેત રહેવું જોઈએ, કારણ કે મૂળભૂત અંતઃપ્રેરણાઓ છેતરી શકે છે". મેળ ખાતા તર્કનું અર્થઘટન કરતી વખતે (એટલે કે, તેના સિમેન્ટીક અર્થને વ્યાખ્યાયિત કરતી વખતે), પેટર્નને પાવર સેટ સાથે મોડેલિંગ કરવામાં આવે છે. નિવેદનનું અર્થઘટન એ મૂલ્યોનો સમૂહ છે જે પેટર્ન સાથે મેળ ખાય છે. મેચિંગ એમયુ-લોજિક મેચિંગ-લોજિક ફિક્સ્ડ-પોઇન્ટ ઓપરેટર ઉમેરે છે. એપ્લિકેશન્સ મેચિંગ લોજિકનો ઉપયોગ K ફ્રેમવર્ક દ્વારા ઓપરેશનલ સિમેન્ટિક્સને સ્પષ્ટ કરવા માટે અને તેમાંથી હોર લોજિક બનાવવા માટે રીચેબીલીટી લોજિક સાથે થાય છે. મેળ ખાતા તર્કને સમાનતા સાથે પ્રથમ ક્રમના તર્કમાં રૂપાંતરિત કરી શકાય છે, જે કે ફ્રેમવર્કને પ્રમેયો માટે પુરાવા શોધવા માટે હાલના એસએમટી-સોલવર્સનો ઉપયોગ કરવાની મંજૂરી આપે છે. વિભાજન તર્ક પણ જુઓ હોઅર તર્ક નિયમિત અભિવ્યક્તિ, જે શબ્દમાળાઓના સમૂહ સાથે મેળ ખાય છે સંદર્ભો તર્ક