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] |