SWI-Prolog

ウィキペディアから