Transaction logic
ટ્રાન્ઝેક્શન લોજિક એ પ્રેડિકેટ લોજિકનું વિસ્તરણ છે જે લોજિક પ્રોગ્રામ્સ અને ડેટાબેઝમાં રાજ્યના ફેરફારોની ઘટના માટે સ્વચ્છ અને ઘોષણાત્મક રીતે જવાબદાર છે. આ વિસ્તરણ ખાસ કરીને જટિલ વ્યવહારોમાં સરળ ક્રિયાઓને જોડવા અને તેમના અમલ પર નિયંત્રણ પ્રદાન કરવા માટે રચાયેલ જોડાણો ઉમેરે છે. તર્કમાં કુદરતી નમૂના સિદ્ધાંત અને ધ્વનિ અને સંપૂર્ણ સાબિતી સિદ્ધાંત છે. ટ્રાન્ઝેક્શન લોજિકમાં હોર્ન કલમનો સબસેટ હોય છે, જેમાં પ્રક્રિયાગત તેમજ ઘોષણાત્મક શબ્દાર્થ હોય છે. તર્કની મહત્વપૂર્ણ લાક્ષણિકતાઓમાં કાલ્પનિક અને પ્રતિબદ્ધ સુધારાઓ, વ્યવહારના અમલ પર ગતિશીલ અવરોધો, બિન-નિર્ધારણવાદ અને જથ્થાબંધ સુધારાઓનો સમાવેશ થાય છે. આ રીતે, ટ્રાન્ઝેક્શન લોજિક સંખ્યાબંધ બિન-તાર્કિક ઘટનાઓને ઘોષણાત્મક રીતે કેપ્ચર કરવામાં સક્ષમ છે, જેમાં આર્ટિફિશિયલ ઇન્ટેલિજન્સમાં પ્રક્રિયાગત જ્ઞાન, સક્રિય ડેટાબેઝ અને ઑબ્જેક્ટ ડેટાબેઝમાં આડઅસરો સાથેની પદ્ધતિઓનો સમાવેશ થાય છે. ટ્રાન્ઝેક્શન લોજિકની મૂળ દરખાસ્ત એન્થોની બોનર અને માઈકલ કિફર દ્વારા કરવામાં આવી હતી અને બાદમાં અને માં વધુ વિગતવાર વર્ણન કરવામાં આવ્યું હતું. સૌથી વ્યાપક વર્ણન તેમાં દેખાય છે. પછીના વર્ષોમાં, ટ્રાન્ઝેક્શન લોજિકને વિવિધ રીતે વિસ્તૃત કરવામાં આવ્યું હતું, જેમાં સમવર્તીતા, નિષ્ફળ તર્ક, આંશિક રીતે વ્યાખ્યાયિત ક્રિયાઓ અને અન્ય સુવિધાઓ સામેલ છે. 2013 માં, ટ્રાન્ઝેક્શન લોજિક પરના મૂળ પેપરને અગાઉના 20 વર્ષોમાં આઇ. સી. એલ. પી. 1993 પરિષદની કાર્યવાહીમાંથી સૌથી પ્રભાવશાળી પેપર તરીકે એસોસિએશન ફોર લોજિક પ્રોગ્રામિંગનો 20 વર્ષનો ટેસ્ટ ઓફ ટાઇમ એવોર્ડ મળ્યો છે. ગ્રાફ કલરિંગના ઉદાહરણો અહીં ટ્રાન્ઝેક્શનલ ઇન્સર્ટની પ્રાથમિક અપડેટ કામગીરી સૂચવે છે. સંયોજકને ક્રમિક જોડાણ કહેવામાં આવે છે. કલર નોડ <-//રંગ એક નોડ યોગ્ય રીતે નોડ (એન) રંગ (એન, _) રંગ (સી) રંગ (અડીને (એન, એન 2) રંગ (એન 2, સી)) પિનસર્ટ (રંગીન (એન, સી)). કલરગ્રાફ <-¬અનકલર્ડનોડ્સલેફ્ટ. colorGraph <-colorNode χ colorGraph. પિરામિડ સ્ટેકિંગ પ્રાથમિક સુધારા ટ્રાન્ઝેક્શનલ ડીલીટ ઓપરેશનને રજૂ કરે છે. સ્ટૅક (એન, એક્સ) <-એન> 0 ચાલ (વાય, એક્સ) સ્ટૅક (એન-1, વાય). સ્ટેક (0, X). ખસેડો (X, Y) <-પિકઅપ (X) χ પુટડાઉન (X, Y). પિકઅપ (X) <-ક્લિયર (X) χ પર (X, Y) χ કાઢી નાંખો ((X, Y) પર) χ ટિનસર્ટ (ક્લિયર (Y)). પુટડાઉન (X, Y) <-પહોળું (Y, X) સ્પષ્ટ (Y) પિનસર્ટ ((X, Y) પર) સાફ કરો (Y) સાફ કરો. કાલ્પનિક અમલ અહીં શક્યતાનું મોડલ ઓપરેટર છેઃ જો બંને અને શક્ય હોય, તો અમલ કરો. નહિંતર, જો શક્ય હોય તો જ તેને અમલમાં મૂકો. <-<> એક્શન1 <> એક્શન2 એક્શન1 ચલાવો. એક્ઝિક્યુટ કરો <-̃ <> એક્શન1 <> એક્શન2 એક્શન2. ભોજન ફિલસૂફો અહીં સમવર્તી વ્યવહાર તર્કના સમાંતર જોડાણનું તાર્કિક જોડાણ છે. ફિલસૂફો <-phil (1) | phil (2) | phil (3) | phil (4). અમલીકરણ વ્યવહાર તર્કના સંખ્યાબંધ અમલીકરણ અસ્તિત્વમાં છેઃ મૂળ અમલીકરણ. સમવર્તી વ્યવહાર તર્કનું અમલીકરણ. વ્યવહાર તર્કને ટેબલિંગ સાથે ઉન્નત કરવામાં આવે છે. ફ્લોરા-2 જ્ઞાન પ્રતિનિધિત્વ અને તર્ક પ્રણાલીના ભાગ રૂપે વ્યવહાર તર્કના અમલીકરણનો પણ સમાવેશ કરવામાં આવ્યો છે. આ તમામ અમલીકરણ ઓપન સોર્સ છે. સંદર્ભો બાહ્ય કડીઓ ફ્લોરા-2 વેબ સાઇટ, જેમાં વ્યવહાર લોજિક લોજિક પ્રોગ્રામિંગ ભાષાઓ પર વધારાના કાગળો છે ઘોષણાત્મક પ્રોગ્રામિંગ ભાષાઓ જ્ઞાન પ્રતિનિધિત્વ