Did you know ... Search Documentation:
Pack pac -- prolog/util/prolog-in-prolog.pl
PublicShow source

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 solve(Arg1)