The language features and architecture of B-Prolog (2012)

by N F Zhou
Venue:Journal of Theory and Practice of Logic Programming (TPLP