本文經(jīng)AI新媒體量子位（ID：）授權(quán)轉(zhuǎn)載。如需轉(zhuǎn)載，請(qǐng)聯(lián)系出處。傲飛寺派來的風(fēng)瑟

世界長期以來一直飽受 SQL 之苦。

隨便寫一個(gè)查詢語句，動(dòng)不動(dòng)就幾百行...

不過， 推出的這種新的邏輯編程語言對(duì)“SQL 黨”來說是一個(gè)福音：

它專門研究SQL語句的冗長和它不擅長的抽象機(jī)制()。

是的。

（有新的語言嗎？“幫幫我，我可以學(xué)習(xí)”）

邏輯編程語言解決了SQL的局限性

為什么要推出這樣一種新的編程語言？

有句話說：“數(shù)據(jù)是新世紀(jì)的石油?！?/p>

SQL 是一種處理數(shù)據(jù)的通用語言，因?yàn)樗谧匀徽Z言設(shè)計(jì)，易于理解和上手。它已經(jīng)流行多年，但并不完美：

這導(dǎo)致對(duì) SQL 抽象的支持非常有限，更不用說每次都維護(hù)數(shù)百行語句了。

有什么好的解決辦法嗎？

有多種數(shù)據(jù)庫查詢語言和相應(yīng)的庫供大家選擇。

其中sql編程語言，邏輯編程語言最能解決SQL的局限性。

邏輯編程語言

就是這樣一種邏輯編程語言。

什么是邏輯編程？

邏輯編程是一種編程范式。它設(shè)定答案必須遵守的規(guī)則才能解決問題，而不是設(shè)定解決問題的步驟。過程是事實(shí)+規(guī)則=結(jié)果。

對(duì)經(jīng)典的邏輯編程語法進(jìn)行了進(jìn)一步的擴(kuò)展，最引人注目的是聚合的使用sql編程語言，這也是名稱的來源：+（聚合）。

繼承自（早期谷歌開發(fā)的一種語言），它是一種類似于數(shù)據(jù)記錄（-like）的邏輯編程語言。代碼可以編譯成SQL在上運(yùn)行（也支持and）：

好不好，上手就知道結(jié)果了。

以下是查找小于 30 的質(zhì)數(shù)的具體示例：

#?Define?natural?numbers?from?1?to?29.
N(x)?:-?x?in?Range(30);
#?Define?primes.
prime(prime:?x)?:-
??N(x),
??x?>?1,
??~(
????N(y),
????y?>?1,
????y?!=?x,
????Mod(x,?y)?==?0
??);
??

運(yùn)行結(jié)果：

$?logica?primes.l?run?prime
+-------+
|?prime?|
+-------+
|?????2?|
|?????3?|
|?????5?|
|?????7?|
|????11?|
|????13?|
|????17?|
|????19?|
|????23?|
|????29?|
+-------+
??

熱議：能否成為主流？

工程師鼓勵(lì)大家積極嘗試。

很多人很高興看到這樣一種新的邏輯編程語言的推出，但表示距離被主流采用還有很長的路要走。

不少網(wǎng)友都有疑問：

有些人認(rèn)為轉(zhuǎn)換SQL并不是真的可以，只是把解釋器當(dāng)成虛擬機(jī)來動(dòng)態(tài)“翻譯”一下。

有人認(rèn)為這不是通常意義上的邏輯編程，只是搞數(shù)據(jù)庫查詢。

而且它也帶來了依賴性問題。

但他們都說可能理解不夠。

只有一個(gè)人擔(dān)心這種新編程語言的名字與一家公司發(fā)生了沖突

最后，該項(xiàng)目是開源的，見鏈接[2]。有興趣（有頭發(fā)）的朋友可以自己試試！

參考鏈接：

[1]

[2]

[3]

[4]

--- EOF ---

點(diǎn)這里????關(guān)注我，記得標(biāo)星呀～
長按進(jìn)入小程序，進(jìn)行打卡簽到小程序送書福利更新啦！
（更多精彩值得期待……）
最近熱文：國內(nèi)大神成功給手機(jī)裝上了 Win11，代碼已開源！
最強(qiáng)代碼生成器平臺(tái)，殺瘋了~
基于 Springboot + Vue 實(shí)現(xiàn)的可視化拖拽編輯的大屏項(xiàng)目
2021年7月程序員薪資出爐，平均15302元
2T技術(shù)資源大放送！包括但不限于：C/C++，Linux，python，Java，人工智能，考研，軟考，英語，等等。在公眾號(hào)內(nèi)回復(fù)「資源」，即可免費(fèi)獲取！回復(fù)「社群」，可以邀請(qǐng)你加入讀者群！
??給個(gè)「在看」，是對(duì)我大的支持??

網(wǎng)頁標(biāo)題：sql編程語言又有新語言了？“扶我起來，還能學(xué)”
當(dāng)前路徑：http://aaarwkj.com/news39/299489.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供ChatGPT、電子商務(wù)、外貿(mào)建站、外貿(mào)網(wǎng)站建設(shè)、網(wǎng)站營銷、品牌網(wǎng)站建設(shè)

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請(qǐng)盡快告知，我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng)，如需處理請(qǐng)聯(lián)系客服。電話：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時(shí)需注明來源： 創(chuàng)新互聯(lián)