Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/B-Prolog> ?p ?o }
Showing triples 1 to 29 of
29
with 100 triples per page.
- B-Prolog abstract "B-Prolog is a high-performance implementation of the standard Prolog language with several extended features including matching clauses, action rules for event handling, finite-domain constraint solving, arrays and hash tables, declarative loops, and tabling. First released in 1994, B-Prolog is now a widely used CLP system. The constraint solver of B-Prolog was ranked top in two categories in the Second International Solvers Competition, and it also took the second place in P class in the second ASP solver competition and the second place overall in the third ASP solver competition. B-Prolog underpins the PRISM system, a logic-based probabilistic reasoning and learning system. B-Prolog is a commercial product, but it can be used for learning and non-profit research purposes free of charge (since version 7.8 for individual users, including commercial individual users, B-Prolog is free of charge ).".
- B-Prolog wikiPageExternalLink 1103.0812.
- B-Prolog wikiPageExternalLink performance.html.
- B-Prolog wikiPageExternalLink probp.com.
- B-Prolog wikiPageExternalLink performance.htm.
- B-Prolog wikiPageExternalLink how-to-solve-it-with-b-prolog.
- B-Prolog wikiPageID "10875123".
- B-Prolog wikiPageLength "17064".
- B-Prolog wikiPageOutDegree "5".
- B-Prolog wikiPageRevisionID "612643373".
- B-Prolog wikiPageWikiLink Category:Prolog_programming_language_family.
- B-Prolog wikiPageWikiLink Constraint_logic_programming.
- B-Prolog wikiPageWikiLink PRISM_system.
- B-Prolog wikiPageWikiLink Prolog.
- B-Prolog wikiPageWikiLink Second_International_Solvers_Competition.
- B-Prolog wikiPageWikiLinkText "B-Prolog".
- B-Prolog hasPhotoCollection B-Prolog.
- B-Prolog wikiPageUsesTemplate Template:Reflist.
- B-Prolog subject Category:Prolog_programming_language_family.
- B-Prolog hypernym Implementation.
- B-Prolog type Software.
- B-Prolog comment "B-Prolog is a high-performance implementation of the standard Prolog language with several extended features including matching clauses, action rules for event handling, finite-domain constraint solving, arrays and hash tables, declarative loops, and tabling. First released in 1994, B-Prolog is now a widely used CLP system.".
- B-Prolog label "B-Prolog".
- B-Prolog sameAs m.02qsr_t.
- B-Prolog sameAs Q4833686.
- B-Prolog sameAs Q4833686.
- B-Prolog wasDerivedFrom B-Prolog?oldid=612643373.
- B-Prolog homepage probp.com.
- B-Prolog isPrimaryTopicOf B-Prolog.