Co to jest Prolog?
Opracowany na początku lat 70. Prolog, najprawdopodobniej połączenie słów program i logika, jest jednym z pierwszych języków programowania komputerowego. Po części dlatego, że jest to bardzo prosty kod, wykorzystujący logikę pierwszego rzędu i mało obliczeń, wciąż jest popularny. Oryginalny zestaw instrukcji został znacznie powiększony i rozwinięty w wiele wariantów, ponieważ jest szczególnie dobrze dostosowany do języka przetwarzania. Te dwa podstawowe atrybuty programu zapewniają przetwarzanie aplikacji takich jak sztuczna inteligencja i zautomatyzowana telekomunikacja.
Prolog stosuje formalną logikę pierwszego rzędu. Instrukcje przesłane do komputera są ścisłe; nie mają one rozmytej, obliczeniowej wagi. Wyrażając, składnia języka jest skończonym zestawem reguł, a semantyka jest definiowana, zwykle przez zestawy takie jak pojedyncze deskryptory, wiele list i ciągów znaków lub przez zakres taki jak sekwencje liczbowe.
Wraz z bardziej znanym kodowaniem, takim jak hipertekstowy język znaczników (HTML), Prolog jest klasą oprogramowania zwanego zwykle deklaratywnymi językami programowania, które charakterystycznie używają prostej instrukcji „X równa się Y”, zdefiniowanej jako „termin”. Komputer jest powiedział co robić; nie ma instrukcji, aby samodzielnie obliczać, jak się tam dostać. Komputer otrzymuje zestaw faktów z „orzeczeniem” i relacjami, zdefiniowanymi jako „klauzula”, na podstawie których zapytanie wejściowe powinno dawać wynik prawdziwy lub fałszywy. Nie wykonuje algorytmu, a raczej uzyskuje prostą odpowiedź, dodając i odejmując lub negując znany zestaw definicji. Obliczenia w Prologu służą do testowania i potwierdzania teorii i leżących u ich podstaw założeń, od zaawansowanej matematyki przez biologię do filozofii.
Jedną z poznawczych teorii inteligencji jest to, że w mózgu znajduje się duży, ale skończony słownik leksykalny, który jest pobierany, przetwarzany i przekazywany z powrotem, co powoduje większą złożoność lub prostotę informacji. Wraz ze wzrostem pojemności pamięci i szybkim dostępem jest to dominujący paradygmat, który napędził świętego Graala informatyki - sztuczną inteligencję. Dla wielu osób kluczem jest interfejs i język. Programowania Prolog można używać do tworzenia GUI, graficznego interfejsu użytkownika zapoczątkowanego przez Apple®, poprzez proste definiowanie symboli wizualnych. Można go również używać do czytania, tłumaczenia i tworzenia wyrazu twarzy.
Lingwistyka obliczeniowa jest znacznie trudniejsza i chociaż Prolog od lat rozwija się, aby na przykład uwzględnić unikalne zasady gramatyczne niektórych języków obcych, wielu badaczy zastanawia się, czy skutecznie reprezentuje język. W przypadku ograniczonych systemów eksperckich, takich jak skomputeryzowane linie pomocy technicznej do rozpoznawania głosu, programowanie w Prologu jest stosowane do pewnego stopnia skuteczności. Można go również zintegrować z oprogramowaniem logicznym wyższego rzędu - w językach kwantyfikacyjnych, takich jak C + lub Java - ale kompresja i przenośność pozostają problemami, które znoszą język programowania intensywnie wykorzystujący dane.