Co to jest prolog?
Pomyślał na początku lat siedemdziesiątych, Prolog, najprawdopodobniej połączenie programu słów i logiki, jest jednym z najwcześniejszych języków programowania komputerowego. Częściowo dlatego, że jest to bardzo prosty kod, przy użyciu logiki pierwszego rzędu i niewielkich obliczeń, nadal jest w popularnym użyciu. Oryginalny zestaw instrukcji został znacznie powiększony i rozwinięty w wiele wariantów, ponieważ szczególnie dobrze nadaje się do przetwarzania języka. Te dwa główne atrybuty programu zapewniają przetwarzanie aplikacji, takich jak sztuczna inteligencja i automatyczna telekomunikacja.
Prolog wykorzystuje formalną logikę pierwszego rzędu. Instrukcje przesłane do komputera są stanowcze; Nie mają rozmytego, obliczeniowego ważenia. W wyrażeniu składnia języka jest skończonym zestawem reguł, a semantyka jest zdefiniowana, zwykle według zestawów takich jak pojedyncze deskryptory, wiele list i ciągów lub w zakresie takim jak sekwencje numeryczne.
Wraz z niektórymi bardziej znanymi kodowaniem, takimi jak hipertekstowy język znaczników (HTML), Prolog jest w klasie oprogramowania powszechnie nazywanych językami programowania deklaratywnego, które charakterystycznie używają prostej instrukcji „x równa y”, zdefiniowane jako „termin”. Komputer jest poinformowany, co robić; Nie polega na samodzielnym obliczeniu, jak się tam dostać. Komputer otrzymuje zestaw faktów z „predykatem” i relacji, zdefiniowanej jako „klauzula”, z której zapytanie wejściowe powinno dawać wniosek prawdziwego i fałszywego wyjścia. Nie wykonuje algorytmu, ale raczej czerpie prostą odpowiedź, dodając i odejmując lub negując, od znanego zestawu definicji. Obliczenia w prologie służy do testowania i udowodnienia teorii i ich podstawowych założeń, od zaawansowanej matematyki po biologię po filozofię.
Jedną z teorii poznawczej inteligencji jest to, że w mózgu jest duży, ale skończony sklep leksykalny informacji, który jest pobierany, przetwarzany iOdwrócone, co powoduje większą złożoność lub prostotę informacji. Wraz z rosnącą pojemnością pamięci i szybkim dostępem jest to dominujący paradygmat, który napędzał Święty Graal informatyki - sztuczna inteligencja. Według wielu w polu kluczowym jest interfejs i język. Program prolog może być używany do tworzenia GUI, graficznego interfejsu użytkownika pionieru Apple®, po prostu definiując symbole wizualne. Można go również używać do czytania, tłumaczenia i tworzenia wyrażenia twarzy.
Lingwistyka obliczeniowa jest znacznie trudniejsza i chociaż Prolog zajął się przez lata, aby uwzględnić, na przykład unikalne zasady gramatyczne niektórych języków obcych, wielu badaczy pyta, czy skutecznie reprezentuje język. W przypadku ograniczonych systemów ekspertów, takich jak skomputeryzowane linie techniczne wsparcia technicznego, programowanie prologii jest używane do pewnego stopnia skuteczności. Można go również zintegrować z logiką wyższego rzędu miękkąWare-Języki kwantyfikacyjne, takie jak C+ lub Java-ale kompresja i przenośność pozostają problemami, które trwają dla tego języka programowania intensywnego dla danych.