Did you know ... Search Documentation:
Pack assertions -- prolog/plprops.pl
PublicShow source

Re-exported predicates

The following predicates are re-exported from other modules

 equiv(:Goal1, :Goal2)
Goal1 is equivalent to Goal2

Undocumented predicates

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

 declaration(Arg1)
 declaration(Arg1, Arg2)
 global(Arg1)
 global(Arg1, Arg2)
 type(Arg1)
 type(Arg1, Arg2)
 check(Arg1)
 check(Arg1, Arg2)
 compat(Arg1)
 compat(Arg1, Arg2)
 false(Arg1)
 false(Arg1, Arg2)
 instan(Arg1)
 instan(Arg1, Arg2)
 last_prop_failure(Arg1)
 pp_status(Arg1)
 true(Arg1)
 true(Arg1, Arg2)
 trust(Arg1)
 trust(Arg1, Arg2)
 deprecated(Arg1)
 database(Arg1)
 det(Arg1)
 dupclauses(Arg1)
 eval(Arg1)
 exception(Arg1)
 exception(Arg1, Arg2)
 fails(Arg1)
 failure(Arg1)
 fi(Arg1, Arg2)
 has_choicepoints(Arg1)
 is_det(Arg1)
 iso(Arg1)
 meta_modes(Arg1)
 multi(Arg1)
 nfi(Arg1, Arg2)
 no_choicepoints(Arg1)
 no_exception(Arg1)
 no_exception(Arg1, Arg2)
 no_meta_modes(Arg1)
 no_signal(Arg1)
 no_signal(Arg1, Arg2)
 non_det(Arg1)
 nondet(Arg1)
 not_fails(Arg1)
 nsh(Arg1, Arg2)
 num_solutions(Arg1, Arg2)
 num_solutions_eq(Arg1, Arg2)
 semidet(Arg1)
 signal(Arg1)
 signal(Arg1, Arg2)
 signals(Arg1, Arg2)
 solutions(Arg1, Arg2)
 throw(Arg1, Arg2)
 throws(Arg1, Arg2)
 unknown(Arg1)
 user_output(Arg1, Arg2)
 list(Arg1)
 list(Arg1, Arg2)
 tlist(Arg1, Arg2)
 nlist(Arg1)
 nlist(Arg1, Arg2)
 goal(Arg1, Arg2)
 nnegint(Arg1)
 pair(Arg1)
 flt(Arg1)
 nnegflt(Arg1)
 posflt(Arg1)
 num(Arg1)
 nnegnum(Arg1)
 posnum(Arg1)
 atm(Arg1)
 gnd(Arg1)
 any(Arg1)
 gndstr(Arg1)
 str(Arg1)
 struct(Arg1)
 term(Arg1)
 char(Arg1)
 atmel(Arg1)
 keypair(Arg1)
 sequence(Arg1, Arg2)
 negint(Arg1)
 operator_specifier(Arg1)
 character_code(Arg1)
 goal(Arg1)
 mod_qual(Arg1)
 mod_qual(Arg1, Arg2)
 keylist(Arg1)
 predname(Arg1)
 constant(Arg1)
 linear(Arg1)
 arithexpression(Arg1)
 int(Arg1)
 rat(Arg1)
 posint(Arg1)