广东发布“猪脸识别”技术 推动养猪业向人工智能化迈进

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

百度 总决赛的现场，Alex、爱华、Sakula三位重量级的解说助阵为赛事注入了更加精彩与多元化的体验，让全国电子竞技爱好者犹如身临其境。

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