20 年後，我們用什麼樣的語言？也許現在誰都不好回答，20年前的程序員們會告訴你用匯編吧，今天人們也許會告訴你用c語言（c ?)吧。那麼20年後呢，也許不是c語言了吧。下面都是所謂的非主流語言，不過它們的設計思想、所能夠完成的功能，絕對不比c語言差。也許將來它們會成爲主流，也許不會，可是不管怎樣，它們都有自己的閃光之處。---〉你要麼站在電腦的硬件上編程，要麼站在巨人的肩膀上編程，請選擇吧。*******Prolog**********人工智能領域常用的語言，開發自然語言分析，專家系統，以及所有和智能有關的程序，都非常拿手。可以到我的主頁來學習這門語言
----visual prolog
http://
顧名思義，這是一個可以製作界面的Prolog，有試用版本下載，大概20M左右。這個prolog版本需要對謂詞以及數據進行聲明，就像C語言一樣。因此在使用的時候比較複雜，不過更加適合編制較大的程序。編譯出來的程序可以直接運行。----amzi prolog
http://
這個prolog版本包含解釋器、編譯器，不過編譯出來的程序不能夠直接運行，需要運行器運行。可以很方便的'和其它語言（例如visual basic，java，C，CGI）連接，開發智能程序。解釋器的運行效率較低。它所說使用的語法體系和visual prolog不同，程序需要進行適當的修改才能夠在visual prolog中運行。----SWI-Prolog
Dos版本的prolog，有開發界面，可以編譯成可執行文件，語法和visual-prolog相同，不過內部謂詞有許多出入。----B prolog
http://
1兆的容量，包括完整的開發界面，幫助，例程，提供了幾個棋類遊戲的源程序。可以直接開發有界面的prolog程序，共享版不能夠編譯，就解釋執行吧*********Lisp*******
人工智能語言的老大哥。語言格式只有一個形式：列表，所以也叫做表處理語言，這可不是一般的表，是可以包容任意結構的表，有了它，你還用c語言來寫鏈表，二叉樹的程序麼？學習數據結構不妨使用lisp，讓你更加關心算法，而不是數據如何在計算機內部表達。----xemacs
http://, windows下的common lisp集成開發環境， 60天試用。----lisp work
common lisp
http:/// 無限期使用，沒有任何功能限制*****functional language****
這是一類語言，叫做函數型程序設計語言。是一種非常高級的語言。一種基於λ演算和在70年代後期才發展起來的新語言類型。大多數程序設計語言明顯地規定要執行操作的次序。次序的詳細規定是很需要的,因爲語言的語句對程序的變量有“作用”,如果改變這些作用的次序,就可以改變產生的最後值。但是函數型語言卻沒有這種性質。在這個意義上,函數型語言能建立可計算性的數學公式模型。讓我們來看一個簡單的例子：
qsort :: [a] -