Prolog (programmeringsspråk
Fra Wikipedia, den frie encyklopedi
Prolog (programming in logic) er et deklarativt programmeringsspåk satt sammen av logiske slutninger. Det består både av et rent logisk språk og tilleggsfunksjoner som gjør at man kan bruke programmeringsspårket til det meste, som for eksempel å lage grafiske brukergrensesnitt (GUI). Språket brukes mye innen kunstig intelligens.
Eksempel: Vi kan deklarere en sannhet ved å fortelle Prolog følgende:
- cat(tom).
som er ekvivalent med
- cat(tom) :- true.
Her er noen eksempler på spørringer vi kan spørre Prolog programtolkeren
er tom en katt?
- ?- cat(tom).
- yes.
Hva er katter?
- ?- cat(X).
- X = tom;
- yes.
