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

in pack:amalgame
Prolog module:arity_select
size:2811

Recent changes

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

This file requires

Required predicates