Membro : Ensaluti |Register |Alŝuti scio
Serĉu
B-Antaŭparolo [Modifu ]
B-Prolog estas altkvalita efektivigo de la norma Prolog-lingvo kun pluraj etenditaj trajtoj inkluzive de kongruaj klaŭzoj, agordaj reguloj por eventa pritraktado, finaj domajnaj limigoj, rezolucioj, tabeloj de hashoj, deklaroj kaj deklaroj. Unue liberigita en 1994, B-Prolog nun estas vaste uzata CLP-sistemo. La konstanta solvilo de B-Prolog estis vicigita supre en du kategorioj en la Dua Internacia Solvo-Konkurso, kaj ĝi ankaŭ prenis la duan lokon en P-klaso en la dua ASP-solviga konkurado kaj la dua loko ĝenerale en la tria ASP-solviga konkurso. B-Prologo subtenas la sistemon PRISM, logika-bazita probabilisma rezonado kaj lernado-sistemo. B-Prolog estas komerca produkto, sed ĝi povas esti uzata por lernado kaj senprofita esplorado-celoj senpage (ĉar la versio 7.8 por individuaj uzantoj, inkluzive de komercaj individuaj uzantoj, B-Prologo estas senpaga).
[Antaŭparolo][Konstanta logika programado]
1.Klaŭzaj komputiloj
2.Agaj reguloj
3.CLP (FD)
4.Arrays kaj la tabelo-subskriba notacio
5.Komputiloj kun antaŭdiroj kaj lerta kompreno
6.Tabulante
[Alŝuti Pli Enhavo ]


Kopirajto @2018 Lxjkh