4.16 Examining the program
AllApplicationManualNameSummaryHelp

Availability:built-in
[ISO]clause(:Head, ?Body)
True if Head can be unified with a clause head and Body with the corresponding clause body. Gives alternative clauses on backtracking. For facts, Body is unified with the atom true.