Module facts_about_prolog
:- use_module(library(facts_about_prolog)).
Import from a prolog repl
?- ['src/facts_about_prolog.pl'].Query facts about prolog
?- fact("prolog", _, P, O).fact(Subject, P1, P2, Object)
Some human readable propositions