NixOS/nixpkgs — pull request #1046 by DriesVanDaele (2013-10-05 19:03:37+00:00)
Title: add tabling to yap

The addition of a configure flag enabling tabling support for Yap.