B-Prolog swMATH ID: 6949 Software Authors: Afany Software Description: 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. Read more on Wiki. Homepage: http://www.picat-lang.org/bprolog/ Keywords: Prolog; logic programming system Related Software: XSB; SICStus; YAP-Prolog; SWI-Prolog; Gecode; Prolog; Smodels; Zinc; COMET; JaCoP; MiniZinc; Ciao; Kotlin; TuSoW; SenticNet; ReSpecT; TuCSoN; ANTLR; tuProlog; LPaaS Cited in: 16 Documents all top 5 Cited by 33 Authors 5 Schrijvers, Tom 3 Desouter, Benoit 2 Demoen, Bart 2 Lierler, Yuliya 2 Samulowitz, Horst 2 Stuckey, Peter James 2 Tack, Guido 2 Wuille, Pieter 2 Zhou, Neng-Fa 1 Alvisi, Stefano 1 Areias, Miguel 1 Balduccini, Marcello 1 Bergenti, Federico 1 Cattafi, Massimiliano 1 Dal Palù, Alessandro 1 Franchini, Marco 1 Fujita, Hiroshi 1 Garcia de la Banda, Maria 1 Gavanelli, Marco 1 Hasegawa, Ryuzo 1 Have, Christian Theil 1 Koshimura, Miyuki 1 Nonato, Maddalena 1 Piróg, Maciej 1 Riguzzi, Fabrizio 1 Rocha, Ricardo 1 Rossi, Gianfranco 1 Susman, Benjamin 1 Swift, Terrance 1 Triska, Markus 1 Van Dooren, Marko 1 Vandenbroucke, Alexander 1 Warren, David Scott Cited in 4 Serials 10 Theory and Practice of Logic Programming 2 Constraints 1 Science of Computer Programming 1 Fundamenta Informaticae Cited in 2 Fields 14 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) Citations by Year