B-Prolog is a high-performance, high-quality, and award-wining implementation of the standard Prolog language with several useful extended features including action rules for event handling, finite-domain constraint solving, and tabling. First released in 1994, B-Prolog has become one of the most innovative CLP systems. Whether it comes to standard Prolog programs, or finite-domain constraint programs, or tabled programs, B-Prolog is proud to be a front runner. The constraint solver of B-Prolog was ranked top in two important categories in the Second International Solvers Competition. B-Prolog is being used by numerous application projects ranging from (natural) language processing, business logic, CAD, data analysis, machine learning, to optimizations systems. B-Prolog underpins the PRISM system, a popular logic-based probabilistic reasoning and learning system. Prolog is a logic programming language. ...