Did you know ... Search Documentation:
nf_q.pl
PublicShow source

Undocumented predicates

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

Source nf(Arg1, Arg2)
Source split(Arg1, Arg2, Arg3)
Source entailed(Arg1)
Source repair(Arg1, Arg2)
Source wait_linear(Arg1, Arg2, Arg3)
Source nf2term(Arg1, Arg2)
Source nf_constant(Arg1, Arg2)
Source {Arg1}