前言：本站為你精心整理了人工智能AI程序設(shè)計(jì)范文，希望能為你的創(chuàng)作提供參考價(jià)值，我們的客服老師可以幫助你提供個(gè)性化的參考范文，歡迎咨詢。

本文將介紹10多種不同的程序設(shè)計(jì)語(yǔ)言，以及如何下載它們的免費(fèi)的編譯器,(注意，是免費(fèi)，而不是盜版）,如果下載或者安裝有問(wèn)題，可以給我發(fā)郵件：

ruoyu0088@

20年后，我們用什么樣的語(yǔ)言？也許現(xiàn)在誰(shuí)都不好回答，20年前的程序員們會(huì)告訴你用匯編吧，今天人們也許會(huì)告訴你用c語(yǔ)言（c++?)吧。那么20年后呢，也許不是c語(yǔ)言了吧。下面都是所謂的非主流語(yǔ)言，不過(guò)它們的設(shè)計(jì)思想、所能夠完成的功能，絕對(duì)不比c語(yǔ)言差。也許將來(lái)它們會(huì)成為主流，也許不會(huì)，可是不管怎樣，它們都有自己的閃光之處。

---〉你要么站在電腦的硬件上編程，要么站在巨人的肩膀上編程，請(qǐng)選擇吧。

*******Prolog**********

人工智能領(lǐng)域常用的語(yǔ)言，開(kāi)發(fā)自然語(yǔ)言分析，專家系統(tǒng)，以及所有和智能有關(guān)的程序，都非常拿手。可以到我的主頁(yè)來(lái)學(xué)習(xí)這門語(yǔ)言

----visualprolog

www.visual-

顧名思義，這是一個(gè)可以制作界面的Prolog，有試用版本下載，大概20M左右。這個(gè)prolog版本需要對(duì)謂詞以及數(shù)據(jù)進(jìn)行聲明，就像C語(yǔ)言一樣。因此在使用的時(shí)候比較復(fù)雜，不過(guò)更加適合編制較大的程序。編譯出來(lái)的程序可以直接運(yùn)行。

----amziprolog

這個(gè)prolog版本包含解釋器、編譯器，不過(guò)編譯出來(lái)的程序不能夠直接運(yùn)行，需要運(yùn)行器運(yùn)行。可以很方便的和其它語(yǔ)言（例如visualbasic，java，C，CGI）連接，開(kāi)發(fā)智能程序。解釋器的運(yùn)行效率較低。它所說(shuō)使用的語(yǔ)法體系和visualprolog不同，程序需要進(jìn)行適當(dāng)?shù)男薷牟拍軌蛟趘isualprolog中運(yùn)行。

----SWI-Prolog

www.swi.psy.uva.nl/projects/SWI-Prolog/

我沒(méi)有怎么使用過(guò)這個(gè)版本的prolog解釋器，不過(guò)它的運(yùn)行速度要比amziprolog的解釋器快，和amzi的編譯之后的程序差不多快，如果下載圖形軟件包XPCE的話，還可以開(kāi)發(fā)有界面的程序。它的語(yǔ)法和amziprolog相同，程序可以通用，不過(guò)內(nèi)部謂詞有些不同，有時(shí)候需要修改一下。

----Turboprolog

/

Dos版本的prolog，有開(kāi)發(fā)界面，可以編譯成可執(zhí)行文件，語(yǔ)法和visual-prolog相同，不過(guò)內(nèi)部謂詞有許多出入。

----Bprolog

www.cad.mse.kyutech.ac.jp/people/zhou/index.html

好像是中國(guó)人開(kāi)發(fā)的prolog軟件，據(jù)說(shuō)比其它的prolog運(yùn)算速度都要快，我曾經(jīng)在linux下面使用過(guò)這個(gè)prolog，也有window版的，不過(guò)沒(méi)有什么集成開(kāi)發(fā)環(huán)境。語(yǔ)法和其它的幾個(gè)都不太相同，需要適當(dāng)?shù)男薷某绦虿拍軌蛟诖谁h(huán)境下運(yùn)行。此prolog提供了許多測(cè)試速度的解謎題的程序,這個(gè)版本的prolog支持constraint程序設(shè)計(jì)。

----strawberryprolog

1兆的容量，包括完整的開(kāi)發(fā)界面，幫助，例程，提供了幾個(gè)棋類游戲的源程序。可以直接開(kāi)發(fā)有界面的prolog程序，共享版不能夠編譯，就解釋執(zhí)行吧

*********Lisp*******

人工智能語(yǔ)言的老大哥。語(yǔ)言格式只有一個(gè)形式：列表，所以也叫做表處理語(yǔ)言，這可不是一般的表，是可以包容任意結(jié)構(gòu)的表，有了它，你還用c語(yǔ)言來(lái)寫(xiě)鏈表，二叉樹(shù)的程序么？學(xué)習(xí)數(shù)據(jù)結(jié)構(gòu)不妨使用lisp，讓你更加關(guān)心算法，而不是數(shù)據(jù)如何在計(jì)算機(jī)內(nèi)部表達(dá)。

----xemacs

與著名的gunsemacs編輯器的起名，并且界面更加友善，內(nèi)帶emacslisp,和許多使用lisp編寫(xiě)的工具軟件，例如calc,是一個(gè)功能強(qiáng)大的計(jì)算器，支持符號(hào)運(yùn)算，有全部的源程序，如果能夠好好研究這些源程序，收獲一定不小。

----AllegroCL

commonlisp

,windows下的commonlisp集成開(kāi)發(fā)環(huán)境，60天試用。

----lispwork

commonlisp

/無(wú)限期使用，沒(méi)有任何功能限制

*****functionallanguage****

這是一類語(yǔ)言，叫做函數(shù)型程序設(shè)計(jì)語(yǔ)言。是一種非常高級(jí)的語(yǔ)言。一種基于λ演算和在70年代后期才發(fā)展起來(lái)的新語(yǔ)言類型。大多數(shù)程序設(shè)計(jì)語(yǔ)言明顯地規(guī)定要執(zhí)行操作的次序。次序的詳細(xì)規(guī)定是很需要的,因?yàn)檎Z(yǔ)言的語(yǔ)句對(duì)程序的變量有“作用”,如果改變這些作用的次序,就可以改變產(chǎn)生的最后值。但是函數(shù)型語(yǔ)言卻沒(méi)有這種性質(zhì)。在這個(gè)意義上,函數(shù)型語(yǔ)言能建立可計(jì)算性的數(shù)學(xué)公式模型。讓我們來(lái)看一個(gè)簡(jiǎn)單的例子：

qsort::[a]->[a]|Orda

qsort[]=[]

qsort[a:xs]=qsort[x\\x<-xs|x<-xs|x>=a]

這段程序就是快速排序的代碼，你看有多么簡(jiǎn)潔，并且它的這個(gè)qsort可以對(duì)任何類型的數(shù)據(jù)進(jìn)行排序（只要這種數(shù)據(jù)可以比較大小）。想讀懂上面的程序么？那么下載下面的clean,或者h(yuǎn)askell，好好研究吧，祝你有新的發(fā)現(xiàn)。

----clean

www.cs.kun.nl/~clean/

并行的函數(shù)型語(yǔ)言，可以把源程序編譯成exe文件，帶有豐富的庫(kù)，從tcp/ip,到界面設(shè)計(jì)，到游戲開(kāi)發(fā)，無(wú)一不全。

----haskell

/hugs/

hugs是haskell的免費(fèi)編譯器，語(yǔ)法和clean相似，不過(guò)是解釋執(zhí)行，因此易于學(xué)習(xí)。

---caml

caml.inria.fr/

又一個(gè)函數(shù)型語(yǔ)言。

**********mozartoz*********

www.mozart-

20年后，我們用什么樣的語(yǔ)言？也許現(xiàn)在誰(shuí)都不好回答，20年前的程序員們會(huì)告訴你匯編是最棒語(yǔ)言，今天人們也許會(huì)告訴你用c語(yǔ)言（c++?)_吧。那么20年后呢，也許不是c語(yǔ)言了吧。世界上許多程序語(yǔ)言的研究機(jī)構(gòu)都在開(kāi)發(fā)下一代的語(yǔ)言，mozartoz也可以算是其中之一吧。

mozartoz是具有魔力的語(yǔ)言。它融合了目前幾種流行的程序設(shè)計(jì)思想，我們叫它多范式語(yǔ)言。它是面向?qū)ο蟮恼Z(yǔ)言，它是函數(shù)型的語(yǔ)言，它是約束邏輯的語(yǔ)言，它是并發(fā)式的語(yǔ)言，它還是分布式的語(yǔ)言，幾句話很難概括它的功能。最好去它的網(wǎng)站看看吧，下載一個(gè)慢慢研究？

他使用emacs作為開(kāi)發(fā)界面，因此你首先需要安裝emacsforwindows（也可以在mozart的網(wǎng)上找到，也可以去去找）,如果你安裝了emacs那么你也就同時(shí)獲得了emacslisp,呵呵，收獲不小。

為了提起您的興趣，請(qǐng)思考如下的問(wèn)題如何編程解決，然后你可以在mozart中找到驚人簡(jiǎn)單的解決方案。

15個(gè)人每天出去玩，每天分為5組，每組3人，玩一個(gè)星期，使得任何兩個(gè)人都曾經(jīng)在一組中玩過(guò)，你如何安排？

*********J*****************

不要和java搞混淆了。它是一種面向陣列的語(yǔ)言，也就是說(shuō)矢量。