B-Prolog

ウィキペディアから