File "lib/ag_modules/arity_select.pl"[download]

in pack:amalgame
Prolog module:arity_select
size:2811

Recent changes

4 years, 3 months agoJacco van OssenbruggenFIXED: typo in comment
4 years, 3 months agoJacco van OssenbruggenFIXED: ambiguity removal was buggy after recen ...
4 years, 4 months agoJacco van OssenbruggenIMPROVED: evidence tracking on negative results
4 years, 4 months agoJacco van OssenbruggenADDED: evidence tracking on arity select/ambig ...
5 years agoJacco van Ossenbruggenuse predsort iso sort

This file requires

Required predicates