New posts in prolog-toplevel

SWI-Prolog - show long list

swi-prolog prolog-toplevel

Definition of Reflexive Transitive Closure

prolog prolog-toplevel transitive-closure meta-predicate