Co to jest programowanie logiczne? (Ze zdjęciami)
Programowanie logiczne jest rodzajem programowania komputerowego, w którym programiści muszą przekazać komputerowi instrukcje dotyczące podejmowania decyzji przy użyciu logiki matematycznej, na przykład za pomocą algorytmu matematycznego. Programy komputerowe składają się z kodu, który mówi komputerowi, co ma robić. W końcu jednak komputer wpadnie na instancję, w której musi podjąć decyzję dotyczącą dalszego postępowania i bez żadnych informacji, jak to zrobić, nie może zakończyć swojej obecnej funkcji. Programowanie logiczne zajmuje się tego rodzaju decyzjami i przekazuje instrukcje do komputera, aby mógł podjąć „logiczną” decyzję dotyczącą najlepszego sposobu reagowania na określoną sytuację. Aby programowanie logiczne działało, programista piszący kod musi upewnić się, że jej instrukcje mają sens i są prawdziwe, a zatem logiczne, a program komputerowy znany jako twierdzący twierdzący jest wymagany do podejmowania decyzji na podstawie instrukcji napotkanych w programie kod.
Przysłowie twierdzeń odnosi się do programu komputerowego, który został zaprojektowany do rozwiązywania twierdzeń matematycznych zwanych twierdzeniami. Twierdzenia to stwierdzenia, które okazały się prawdziwe w oparciu o poprzednie stwierdzenia. W programowaniu logicznym twierdzenie-twierdzenie współpracuje z oświadczeniami utworzonymi przez programistę komputerowego, aby dojść do wniosków. Na przykład, jeśli kod stwierdza, że A jest równe B, a B jest równe C, to twierdzenie-logiczny wyciągnie logiczny wniosek, że A musi być równe C. Ten proces jest inny niż programista po prostu mówi komputerowi w kod, który A jest równy C, ponieważ program komputerowy musi wyciągnąć ten wniosek przy użyciu twierdzenia-prover i oryginalnych instrukcji programisty w kodzie.
Teoretycznie, aby programowanie logiczne działało, programiści muszą tylko upewnić się, że jej twierdzenia są poprawne, a twórca twierdzenia-twierdzenia powinien upewnić się, że program może czytać instrukcje i podejmować na ich podstawie najbardziej efektywne decyzje. Zdolność do podjęcia skutecznej decyzji nazywana jest komputerem działającym „logicznie”. W rzeczywistości dwa pola pracy nakładają się na siebie, a ci, którzy wykonują programowanie logiczne, często muszą zmieniać kod i manipulować nim w zależności od tego, w jaki sposób działa twierdzenie, aby osiągnąć pożądane wyniki. Samo podanie dokładnych informacji o tym, jak podjąć pewną decyzję, może nie wystarczyć, aby komputer wykonał prawidłową funkcję, a programista będzie musiał przetestować swój kod i odpowiednio dostosować.
Aby programowanie logiczne działało, opiera się również na wnioskowaniu wstecznym. W myśleniu wstecznym program dochodzi do wniosków, analizując zestaw danych i pracując na podstawie ogólnie znanych stwierdzeń, aby dojść do bardziej zaawansowanych wniosków. Program może wiedzieć, że dwie informacje są prawdziwe, i wywnioskuje, że skoro te dwie informacje są prawdziwe, oznacza to, że trzecia informacja jest również prawdziwa. Kontynuuje ten proces, dopóki nie osiągnie logicznego wniosku na podstawie podanych informacji. Ze względu na sposób działania programowanie logiczne jest oparte na deklaratywnym języku reprezentacji, co oznacza, że program mówi komputerowi, co powinien zrobić, ale pozostawia osobie twierdzącej, aby określić najbardziej logiczny lub najbardziej efektywny sposób wykonania żądanej procedury.