中国青年网：传承优秀文化 吹响进步号角

Utgjeve	1972
Nyaste versjon	9.2.x (31. januar 2024)

百度 敢叫荒山变金山二十几年前，李叶红来到盱眙县水产公司上班，但不久后公司改制，李叶红下岗了。

Prolog (Programming in logic) er eit deklarativt programmeringsspr?k sett saman av logiske slutninger. Det best?r b?de av eit reint logisk spr?k og tilleggsfunksjonar som gjer at ein kan bruka programmeringsspr?ket til det meste, som til d?mes ? laga grafiske brukargrensesnitt (GUI). Spr?ket vert brukt mykje innan kunstig intelligens.

D?me: Vi kan deklarera ei sanning ved ? fortelja Prolog f?lgjande:

katt(tom).

som er ekvivalent med

katt(tom) :- true.

Her er nokre d?me p? sp?rjingar vi kan sp?rja Prolog-programtolkeren:

er tom ein katt?

?- katt(tom).  
    yes.

Kven er kattar?

?- katt(X).  
    X = tom;
    yes.

Prolog er likt predikatlogikk p? den m?ten at det er fullt mogleg ? direkte omsetja dei fleste predikatlogikksetningar ved ? berre erstatta operatorane i setninga med dei ekvivalente operatorane til prolog.

Kjelder

• Denne artikkelen bygger p? ?Prolog (programmeringsspr?k)? fr? Wikipedia p? bokm?l, den 23. september 2016.

Bakgrunnsstoff

Commons har multimedium som gjeld: Programmeringsspr?ket Prolog