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

in pack:amalgame
Prolog module:arity_select
size:2811

Recent changes

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

This file requires

Required predicates