Visual Prolog

ウィキペディアから