'Head list' diaporamas de présentation

isort :: [Int] -> [Int]

191 views • 7 slides

excessive backtracking

excessive backtracking. As the inference engine performs unification and resolution, it sometimes backtracks in unwanted ways. mother(sue, sam). mother(sue, mae). mother(mia, sue). mother(kay, jim). mother(kay, max). mother(mia, joe). mother(mia, bob). father(jim, sam).

406 views • 6 slides

excessive backtracking

excessive backtracking. As the inference engine performs unification and resolution, it sometimes backtracks in unwanted ways. mother(sue, sam). mother(sue, mae). mother(mia, sue). mother(kay, jim). mother(kay, max). mother(mia, joe). mother(mia, bob). father(jim, sam).

414 views • 6 slides