Logtalk

軟件截圖:
Logtalk
軟件詳細信息:
版本: 3.03.0 更新
上傳日期: 11 Mar 16
開發: Paulo Moura
許可: 免費
人氣: 24

Rating: nan/5 (Total Votes: 0)

Prolog是因為被釋放回在1972年,除了極少數的更新通用邏輯程序設計語言。

Logtalk 的設立是為了增加更多的現代功能,Prolog的,主要的性能提升,lambda表達式,語法規則,改進編譯器錯誤和警告的報告。

在這些之上,添加一個更簡單的安裝過程和Prolog的編譯器兼容性更新。

這使得Logtalk在現代人工智能和計算機語言學的情景,一個更強大的多範式語言,適用於事件驅動和高層次的多線程編程更好,更適合的替代Prolog的。

目前Logtalk語法擴展了標準的Prolog語法,你可以在這些Prolog的編譯器運行Logtalk:

B-Prolog的

CxProlog

ECLIPSE

序言GNU

序言精益

曲的Prolog

序言SICStus

序言SWI

XSB

YAP

本發行版是新的

  • 改進:
  • 更改寫編譯的代碼,以幫助減少使用這些標籤生成的中間Prolog的文件,以決定何時裝飾用的源位置數據(編譯術語的大小時使用的術語標籤目前,只有SWI-Prolog的花費優勢位置數據)。
  • 固定
  • 一個文件可以有多個父文件。

什麼在3.02.2版本是新的

  • 改進:
  • 更改寫編譯的代碼,以幫助減少使用這些標籤生成的中間Prolog的文件,以決定何時裝飾用的源位置數據(編譯術語的大小時使用的術語標籤目前,只有SWI-Prolog的花費優勢位置數據)。
  • 固定
  • 一個文件可以有多個父文件。

什麼在3.02.1版本是新的

  • 改進:
  • 更改寫編譯的代碼,以幫助減少使用這些標籤生成的中間Prolog的文件,以決定何時裝飾用的源位置數據(編譯術語的大小時使用的術語標籤目前,只有SWI-Prolog的花費優勢位置數據)。
  • 固定
  • 一個文件可以有多個父文件。

什麼在3.00.4版本是新的

  • 改進:
  • 更改寫編譯的代碼,以幫助減少使用這些標籤生成的中間Prolog的文件,以決定何時裝飾用的源位置數據(編譯術語的大小時使用的術語標籤目前,只有SWI-Prolog的花費優勢位置數據)。
  • 固定
  • 一個文件可以有多個父文件。

什麼在3.00.2版本是新的

  • 改進:
  • 更改寫編譯的代碼,以幫助減少使用這些標籤生成的中間Prolog的文件,以決定何時裝飾用的源位置數據(編譯術語的大小時使用的術語標籤目前,只有SWI-Prolog的花費優勢位置數據)。
  • 固定
  • 一個文件可以有多個父文件。

什麼在3.00.1版本是新的

  • 改進:
  • 更改寫編譯的代碼,以幫助減少使用這些標籤生成的中間Prolog的文件,以決定何時裝飾用的源位置數據(編譯術語的大小時使用的術語標籤目前,只有SWI-Prolog的花費優勢位置數據)。
  • 固定
  • 一個文件可以有多個父文件。

什麼是新的在2.44.1版本:

  • 在meta_non_terminal的編制已修復/ 1指令,其中僅第一超論點正確處理。
  • 更新Eclipse的配置文件在Windows 64位系統上運行時檢測並忽略非謂語和非運營商出口時前處理的lib / 1指令。
  • 更新單元測試框架打印更多的信息消息失敗的單元測試。
  • 新增謂詞分割/ 4(分裂名單成子列表與給定的長度)的" listp","清單及QUOT;和" difflist"圖書館的實體。
  • 更新了" CC"例如與殼/ 2謂詞CxProlog的定義。
  • 改變中的&QUOT對象的名稱; MI"例如在運行例子單元測試時,為了避免名稱衝突。
  • 在Windows安裝,阻止YAP 64位版本的檢測修正的bug。由於斯捷潘Ipatov的錯誤報告。

什麼是新的在2.44.0版本:

  • 此版本改變補充類的語義,使它的使用來修補現有對象的代碼,修復了在元呼叫處理兩個錯誤,使得終端的開放清單中的DCG規則的身體,增加了兩個新的例子,並改進了Vim的文本編輯器和旺盛的ctags的支持。

什麼是新的在2.43.3版本:

  • 修正了Logtalk編譯器運行的處理程序,其中一個bug它沒有拋出實體存在異常時,編譯內部實體標識符。
  • 更新精益Prolog的配置文件,添加索引/ 1指示對於一些通過內部Logtalk運行時表使用的動態謂詞。
  • 更新了SWI-Prolog的集成文件來測試索引/ 1指令,這是由剛剛在實時多參數索引的新的實驗SWI-Prolog的支持棄用的可用性。
  • 添加謂詞子/ 4(用於生成列表的子序列與給定的長度),替換/ 4(在列表替換的元素),和hamming_distance / 3到庫" listp"和]清單"實體。
  • 新增euclidean_norm / 2,chebyshev_norm / 2,manhattan_norm / 2,euclidean_distance / 3,chebyshev_distance / 3,manhattan_distance / 3,和scalar_product / 3謂詞圖書館" numberlistp"和" numberlist"實體。
  • 在&QUOT的定義,糾正了一些愚蠢的錯誤;字符"庫對象謂詞is_bin_digit / 1,is_octal_digit / 1,is_dec_digit / 1,和is_hex_digit / 1。
  • 更新圖書館" all_loader.lgt"加載程序文件還加載" meta_compiler_loader.lgt"加載程序文件。

什麼在2.43.2版本是新的

  • 優化編譯源文件時,操作者聲明處理和動態創建新的實體。
  • 更新了Logtalk編譯器使用"模塊"測試編譯器標誌時的Prolog模塊的支持,從而避免與後端Prolog語言的編譯器編譯問題不支持的模塊系統,但仍定義(:)/ 2作為內置控制結構和謂詞
  • 的&QUOT移除支持; startup_message"編譯檢舉];標誌(緊湊型)QUOT;和"標誌(詳細)"值,用一個單一的值代替,"標誌&其對應於舊&QUOT QUOT ;,;標誌(緊湊)QUOT;值。
  • 使用運算/ 3指令時,與create_protocol / 3,create_object / 4,和create_category / 4內置謂詞所在的當地運營商的聲明將成為新的實體外部可見更正的錯誤。
  • 修正了在運行時創建一個新的動態的實體將定義當實體被廢止,不會被廢除一個不再使用記賬動態謂語的錯誤。
  • 修正編譯器故障而其中a QUOT;超強"從對象只能實例化本身並沒有專門的對象將拋出一個異常,而不是失敗的內部調用。
  • 更新了"基準"例如為了計算每秒調用為每個測試的總數時,為了防止算術異常。運行單元測試時,以避免與慢後端的Prolog編譯冗長計算時間降低基準測試的重複次數。

什麼在2.43.1版本是新的

  • 改變編譯器顧及用途/ 2指令編譯到數據庫中內建的方法調用的時候。這種變化擴展用途/ 2指令的語義,並允許從純Prolog的應用程序更容易移植到Logtalk。
  • 增加了使用謂詞模板作為參數傳遞給coinductive / 1指令實驗性支持。此模板允許其說明書的參數是有意義的coinductive成功。根據對費利克斯Kluzniak的DRA元解釋發現類似的功能。
  • 使用內置調試器Logtalk當調試coinductive謂詞改進支持。
  • 為CxProlog刪除coinduction支持。該編譯器的最新版本缺少軟切內部謂詞或控制結構,這是目前由實驗coinduction實施所需。
  • 解禁,阻止包裝謂詞的用戶定義為bagof / 3和SETOF / 3內置每當目標參數可以使用^ / 2存在量詞方法。
  • 的長期限制
  • 增加了對&QUOT支持; ^"元謂詞元參數模式說明由Jan Wielemaker建議和SWI-Prolog的25年5月11日發現的。定義為bagof / 3和SETOF / 3內置方法只要目標參數可以使用^ / 2存在量詞包裝時,此模式說明是非常有用的。
  • 添加" prolog_compiler"和" prolog_loader"編譯器標誌,這讓路過選項後端的Prolog編譯器內置的謂詞編譯到磁盤和加載(編譯)Prolog的標誌。這兩個標誌的默認值是空列表。
  • 修正了以下錯誤編譯成Prolog的專用電話時內置元謂詞,其中Logtalk編譯器可能會試圖處理非薈萃參數作為目標。該錯誤只與一些後端Prolog語言的編譯器,比如Eclipse表現出來。
  • 在條件編譯指令的處理已修復。
  • 修正了防止通過別名/ 3指令上的調用到create_object / 4的一個bug,create_category / 4,和create_protocol / 3內置謂詞。
  • 從刪除內置的對象和QUOT; logtalk"在decompile_predicate_head / 4和decompile_predicate_indicator / 4不贊成的方法。
  • 為長棄用Logtalk metapredicate / 1指令移除的支持。
  • 緩存來分類謂詞呼叫凡與參數類別工作時,緩存條目可能會超過必要的具體修正時性能的bug。
  • 改進的&QUOT緩存;超強"從原型中調用。以前,所有緩存條目將通過&QUOT值專業化;自"為了正確地與特殊情況下,一個對象都實例化和專業的其他對象打交道。
  • 更新了Logtalk編譯器包含指令實體的編譯過程中激活謂詞範圍的指令發現任何運營商的聲明。
  • 改進coinductive謂詞使用後端的Prolog編譯器,如SICStus序言不提供軟切斷控制構建體,但提供的軟切換時的性能內置元謂詞(如果/ 3)。
  • 修正/裝載編譯器檢舉]當一個源文件編譯,其中可以打印編譯/加載警告的虛假報告的bug;報告"關閉。
  • 新增了" streamvars"庫對象,從現有的&QUOT而得; assignvars"庫類別,設有用於從&QUOT添加和檢索條件(其可以是變量)的支持;流"變量。
  • 更新了" coinduction"例如,以增強coinductive / 1指令的優勢,擴大了可使用SICStus Prolog的運行實例個體的數量。增加了一個模型檢驗例如,使用coinduction,coroutining和約束。
  • 更新了" metapredicates"例如使用示例代碼說明如何定義封裝的bagof / 3和SETOF / 3內置的方法時,元參數可以包含存在性限定的變量。
  • 更新了" CC"例如,糾正謂詞定義好後端Prolog語言編譯器和添加一些基本的單元測試。
  • 更新了"編碼"例如與精益Prolog的支持有限。
  • 新增失踪條目的meta_non_terminal / 1指令和呼叫// F非終端的"幫助"例子。
  • 增加了3.0 PDDL文件的解析器,促成由羅伯特Sasak。
  • 添加代碼折疊支持的SubEthaEdit文本編輯器。增加了代碼折疊條件編譯塊到凱特時,Vim和TextMate的文本編輯器的支持。
  • 在以加載庫路徑加載Logtalk編譯/運行之前文件中更新的集成腳本。這一變化旨在簡化庫和實例文件加載從設置文件。此外,也期待在$ HOME /股Logtalk安裝目錄沒有定義LOGTALKHOME環境變量時。
  • 更新Windows安裝以支持精益序言和檢測YAP 64位版本。

什麼在2.43.0版本是新的

  • 增加了對精益Prolog的實驗支持
  • 刪除了Logtalk編譯器的限制,迫使不連續/ 1和動態/ 1指令,以先於聲明的謂詞的電話。
  • 改進拼錯的調用語法規則中的非終端的Logtalk編譯報告。
  • 允許使用的:/ 1器上的語法規則身體構造
  • 在調試時在使用/ 2指令規定的消息,該消息現在被印製在用戶編寫的源代碼隱含合格。
  • 改變中的內置多線程謂詞,以便於與需要生成的Prolog代碼的反編譯的高級調試工具的集成。
  • 的實施中使用的內部謂詞
  • 修正為單元測試庫支持的一個bug,"。lgtunit&QUOT ;,其中測試例外願意接受任何異常任期符合單元測試規範
  • 更新了" CC"例如有bug修復和Eclipse的改善貢獻的約阿希姆Schimpf,有bug修復的SWI-Prolog的實施expand_path / 2謂詞(從最新的變動SWI-Prolog的產生absolute_file_name / 3內置謂詞),並與為command_line_arguments / 1謂詞為B-Prolog的定義。
  • 更新了" coinduction"例如,添加一些個別的例子。
  • 更新了" xml_parser"為了要解決與GNU Prolog的可移植性問題作出貢獻。
  • 修正在某些shell腳本的臭蟲"#/斌/ bash的"代替"#!/斌/ bash的&QUOT ;.感謝Yiorgos Adamopoulos的錯誤報告。
  • 更新了Inno Setup的GUI的Windows安裝程序腳本,以便讓全部安裝由非管理員用戶。
  • 為ISO Prolog的指令增加了語法著色支持包括/ 1於所有支持的文本編輯器和語法熒光筆。
  • 修正選項卡上的一些錯誤觸發器在gedit Logtalk片段,阻止其使用。
  • 改變回生成用戶和參考手冊的PDF版本時,為FOP截斷某些網頁的內容使用,而不是FOP XEP。

什麼在2.42.4版本是新的

  • 增加了一個entity_prefix / 2謂詞和兩套效用謂詞decompile_predicate_heads / 2-4和decompile_predicate_indicators / 2-4,向" logtalk"內置對象。標誌著decompile_predicate_head / 4和過時decompile_predicate_indicator / 4。
  • 增加了保護運營商的範圍的信息支持在編譯時使用範圍指令申報。實體上增加了信息運營商宣布對XML文檔文件。更新了文本,PDF和(X)HTML轉換腳本打印出運營商的信息。
  • 應用幾個低級別的優化的編譯器Logtalk /運行。
  • 移動內部謂詞構造和編譯器的Prolog的配置文件訪問謂詞執行上下文,以支持精細性能調優是Prolog的編譯器相關的。
  • 更新螺紋/ 1多線程內部謂詞,以使用基於蒂莫範Overveldt建​​議term_variables / 2內置謂詞的小性能優化的實現。這種優化的目的是減少方面的不必要的複製和統一。此外,通過簡化主機和從機線程,這也提高了性能的處理更換使用與捕獲/ 3內置謂詞的setup_call_cleanup / 3內置謂詞。
  • 修正了螺紋/ 1多線程內部謂詞,其中用戶嘗試失敗時使用獨立的並行性會導致殭屍線程指定的獨立目標的實現中的錯誤。
  • 更翔實的例外條款,當試圖聲明謂詞同步動態或動態謂詞的同步。
  • 更新了XSB配置文件以支持模塊為對象的彙編。增加了對失踪setup_call_catcher_cleanup / 4內置謂詞的定義。 XSB 3.3(或更高版本)現在需要兼容Logtalk。
  • 更新了SWI-Prolog的配置文件,以提供對arithmetic_function / 1專用指令的支持有限(算術函數被編譯為全局,而不是本地的對象或類別定義它們)。
  • 更新了YAP配置文件,以忽略style_check / 1指令,並解釋yap_flag / 2指令作為set_prolog_flag / 2指令。
  • 改變默認的XSL-FO處理器(用於生成用戶和參考手冊的PDF版本)從XEP到FOP。
  • 更新了" xml_parser"為了要解決與瞿序言,序言SICStus和XSB可移植性問題作出貢獻。
  • 更新了"編碼"比如為了確保有編碼/ 1指令之前沒有空格。
  • 更新了" attvars"例如,為了支持B-序言和XSB。還增加了使用Logtalk參數對象和參數類別中歸於變量的支持。由於揚Wielemaker,VAtor桑托斯科斯塔和Bart Demoen反饋和執行建議。
  • 更新了"剖析"例如用在SICStus Prolog的4.2版本更改執行分析的初步支持。
  • 更新了"擴展"例如關於如何term-和目標擴展定義從不同的掛鉤對象合併更多的樣本代碼。
  • 更新了" coinduction"例如,添加的實驗keysort / 2 coinductive謂詞。感謝揚金庫的意見。
  • 更新了"德"多線程的例子,會導致排氣迅速使用SWI-Prolog的時候本地堆棧由於創立了大量不必要的選擇點的缺失晉級。
  • 更新了" mtbatch"多線程的例子,以提供&QUOT擴大標杆;德"例子。
  • 更新了的MacPorts portfile和腳本來更新它以消除MD5校驗,這是由MacPorts的淘汰量的計算。
  • 更新了Inno Setup的GUI的Windows安裝程序腳本,以便要解決的SWI-Prolog的的Windows安裝程序所在的卸載過程無法從Windows註冊表中刪除SWI-Prolog的鍵的錯誤。

什麼在2.42.3版本是新的

  • 允許在類中聲明動態謂詞被稱為在"這"從類別之內。在以前的版本中,此類呼叫將導致編譯時錯誤,迫使這些謂詞&QUOT被稱為;自" (使用:: / 1消息發送控制結構)。

  • 預編譯的條款頭(使用{} / 1控制結構)
  • 新增Logtalk編譯器的支持。使用期限膨脹機制時,此功能是非常有用。
  • 修正上簡化了語法規則的編譯生成的謂語從句代碼中的錯誤。代碼將循環當一個語法規則包含在元變量,其中Logtalk編譯器應該(但目前還不)的報告為非法(呼叫/ 1控制結構應該用在這種情況下)。
  • 簡化在偽對象和的上下文中調用的彙編;用戶QUOT;
  • 增加了調試器命令" P"到Logtalk內置調試器。此命令打印使用的打印/ 1謂詞時可用的當前目標。更名為調試器命令" Q"到" Q&QUOT ;.已修復調試器命令" W"將不被認可。改變了調試器命令" D"必要時引用條款。
  • 新增了部分實現了ISO Prolog的predicate_property / 2謂詞到Eclipse配置文件的。
  • 更新了SWI-Prolog的配置文件,以除去該庫的元謂詞的錯誤聲明dde_register_service / 2,時間/ 1,並且當/ 2作為內置元謂詞。
  • 應用bug修復的"標誌"貢獻其作者,Theofrastos Mantadelis提供。解決方法與GNU Prolog的兼容性問題。
  • 增加了memberchk / 2謂詞圖書館" SETP"協議"設置"目的。添加謂詞is_control / 1,is_newline / 1,和is_end_of_line / 1到庫" characterp"和"字符"實體。
  • 由使用Logtalk對象和類別內歸因變量的實驗例。目前需要使用YAP或SWI-Prolog的作為後端的Prolog編譯器。
  • 增加了索引詞的&QUOT支持;限制/ sicstus"例子。
  • 擴展的"代表"例如與使用參數對象的委託人的一個樣本實現。
  • 擴展的" dynpred"例子以說明如何定義在&QUOT上下文處理動態謂詞類謂詞;這"而在&QUOT的背景下;自"
  • 增加了WALL_TIME / 1謂詞的" CC"例子。
  • 更新了語法高亮測試文件,添加缺失真/ 0和失敗/ 0控制結構。

什麼是新的在2.42.2版本:

  • 更新了Logtalk編譯器,以允許檢查模塊謂詞屬性,而不需要導入謂詞放入"用戶QUOT; (注意,然而,該模塊仍然必須事先對源文件的調用模塊謂詞的彙編加載)。
  • 更新了Logtalk編譯器,以檢查呼叫/ 2-N目標,為常見的編程錯誤編譯時關閉實例化的參數。
  • 更新了Logtalk編譯器,以生成未聲明為自由變量或lambda參數或與該聲明為既自由變量和參數的lambda變量變量lambda表達式警告。感謝揚金庫對這些建議的完整性檢查。
  • 在為了使用&#X3C支持更新了Logtalk運行;< / 2控制在構建元謂詞關閉元參數
  • 增加了免費編譯/目標lambda表達式電話(通過自動生成一個輔助謂詞盡可能)的支持。
  • 增加了compile_aux_clauses / 1 public方法的基礎上,在SWI-Prolog的相同名稱的謂詞,到內置對象" logtalk&QUOT ;.這種方法通常是從goal_expansion / 2掛鉤,以編譯支持擴展的目標所產生的輔助條款調用。
  • 添加元謂詞忽略/ 1,被一些Prolog語言編譯器作為一個內置的謂詞來實現,作為一個Logtalk內置的方法。
  • 更新了SWI-Prolog的配置文件,以防止模塊庫的自動加載從Logtalk查詢謂詞屬性時。
  • 更新了瞿序言,序言SICStus和XSB配置文件,以使現有的謂詞term_variables / 2作為ISO內部謂詞。
  • ,以便為編制Logtalk編譯/運行,解決啟動崩潰一倍堆大小值更新了瞿Prolog的集成腳本。
  • 恢復了MacOS X的命令文件GNU Prolog的(從&QUOT上升;腳本/ MacOSX的/ command_files /不支持"文件夾)。
  • 新增謂詞findall_member / 4-5的庫對象和QUOT;元" (根據理查德·奧基夫的序言草案提案庫)。刪除了聲明和定義調用/ 1和忽略/ 1從庫中的實體和QUOT謂詞; METAP"和"元" (可調用/ 1是所有支持的Prolog編譯器內置謂詞;忽略/ 1現在是一個Logtalk內置方法)
  • 增補庫對象," meta_compiler&QUOT ;,可以用作鉤對象擴展到庫中物體QUOT定義的元謂詞呼叫;中繼"為了避免所述元呼叫開銷。在哪裡元謂詞通話不能優化的情況下,在&QUOT默認定義;元"使用對象。使用控制結構作為元參數是不是(還)的支持。工作正在進行中。
  • 補充協議," loggingp&QUOT ;,和類別和對象的實現,"記錄"和"記錄&QUOT ;,申報和記錄事件的文件到圖書館定義基本功能
  • 增加了一個協議," intervalp&QUOT ;,和對象,"間隔和QUOT ;,聲明和定義的基本時間間隔關係到庫(根據詹姆斯·艾倫區間代數工作)
  • 新增一個類別實施名為整數計數器,"櫃檯和QUOT ;,圖書館
  • 新增謂詞proper_prefix / 2和proper_suffix / 2圖書館實體" listp","清單及QUOT;和" difflist"
  • 新增謂詞轉/ 2到庫對象"對"
  • 增加了對測試而言,&quot兩個偽-例子; lambdas_compiled"和" metapredicates_compiled&QUOT ;,即利用新的庫對象
  • " meta_compiler"
  • 更新了"擴展"例子以說明如何定義和組合掛鉤對象。
  • 增加了對使用包SyntaxHighlighter的(版本3.0.83或更高版本)由Alex Gorbatchev與Logtalk源代碼的支持。
  • 新增的else / 0條件編譯指令到GNU源亮點熒光筆支持。
  • 缺少的語法著色
  • 新增的Logtalk文本編輯支持的說明可在免費的MacOS X KOD文本編輯器。
  • 新增加的語法著色支持忽略/ 1個內置的方法來所有支持的文本編輯器和語法熒光筆。

什麼在2.42.1版本是新的

  • 添加到Logtalk編譯器支持檢測和報告丟失的動態/ 1和不連續/ 1謂詞指令。
  • 增加了一個新的標誌皮棉," missing_directives&QUOT ;,用&QUOT一個默認值;預警和QUOT ;,所有配置文件。此標誌使編譯器警告印刷失踪動態/ 1,不連續/ 1,和多文件/ 1謂詞指令。

  • 一個謂語指標,[/]為謂語指標清單(/)和[0]的目標清單:新的元謂詞模板模式指示燈
  • 新增支持。
  • 檢查元謂詞子句頭的錯誤,其中&QUOT時更正了Logtalk編譯器中的錯誤; ::"薈萃參數模式指示燈仍然被解釋為QUOT; 0 QUOT;
  • 修正了封的處理,用於構建呼叫控制結構或內置謂詞,這可能導致在錯誤的情況下調用一些薈萃參數的錯誤(在元話費)。由於烏爾里希Neumerkel在SWI-Prolog的郵件列表說明的例子。
  • 更新了Logtalk編譯器,以避免錯過的&QUOT引用印刷警告;擴大"和"監測"編譯模塊為對象時,內置的協議。
  • 還原為原始版本2.39.2,允許​​偽對象&QUOT的變化;用戶QUOT;幾乎包含所有的Prolog內置謂詞的定義中。調用的&QUOT上下文元謂詞時這可能導致取決於後端的Prolog編譯器,特別不同的結果;用戶QUOT。
  • 修正了SWI-Prolog的&QUOT錯誤; swihooks.lgt"文件,導致大約諮詢了Prolog的文件時,如果與在同一目錄下的同名Logtalk源文件中的無效Logtalk國旗的虛假錯誤信息。
  • 專有內置元謂詞到B-序言,序言SICStus,SWI-Prolog的,XSB和YAP配置文件。
  • 新增失踪的支持
  • 更新了SICStus序言,SWI-Prolog的,和YAP配置文件,以覆蓋元謂詞模板的諮詢/ 1和load_files / 2內置謂詞。
  • 增加了map_reduce / 5元謂詞的執行情況向庫對象"元"
  • 增加了command_line_arguments / 1謂詞的&QUOT的實現; CC"例子。
  • 更新了" lambda表達式"和" metapredicates"例子,說明如何使用折疊左元謂詞來計算斐波那契數。更新了" metapredicates"例如與map_reduce / 5元謂詞的使用示例。
  • 更新了" problog"例如,添加了新的註釋語法析取初步支持。
  • 新增了"魔術"元素為freedesktop.org共享MIME-信息數據庫Logtalk的MIME類型的文件。

什麼在2.42.0版本是新的

  • 添加持久化對象標誌的實施
  • 增加了一個新的對內部謂詞,conforms_to_protocol / 2-3,實施協議實現關係的傳遞閉包。
  • 增加了一個實驗指令,註釋/ 1,用於支持與其他語言如ProbLog和CHR Logtalk集成。

















類似的軟件

OCaml
OCaml

1 Oct 15

EvoSynth
EvoSynth

12 May 15

Lua
Lua

21 Jul 15

Zephir
Zephir

10 Dec 15

顯影劑的其他軟件 Paulo Moura

Logtalk
Logtalk

14 Apr 15

意見 Logtalk

評論沒有發現
添加評論
打開圖片!