├── .gitignore ├── LICENSE ├── MANIFEST.in ├── README.md ├── bin └── popper-ilp ├── examples ├── 1d_flip │ ├── bias.pl │ ├── bk.pl │ ├── exs.pl │ └── test.pl ├── 1d_pcopy_1c │ ├── bias.pl │ ├── bk.pl │ ├── exs.pl │ └── test.pl ├── andersen │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-attrition-next-score │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-buttons-goal │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-buttons-next │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-coins-goal │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-coins-next-cell │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-connect4team-next-control │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-dont-touch-next-control │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-eight-puzzle-legal-move │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-farming-next-has-arson │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-fizzbuzz-goal │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-gt-chicken-goal │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-gt_centipede-goal │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-gt_centipede-legal │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-hextforthree-next-control │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-horseshoe-next-cell │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-minimal-decay-next-value │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-polgrimage-goal │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-rps-next-score │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-sheep-and-wolf-goal │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-sokoban-goal │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── iggp-ultimatium-goal │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── imdb3 │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── kinship-ancestor │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── kinship-pi │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── noisy-alzheimer_acetyl │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── noisy-alzheimer_amine │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── noisy-alzheimer_mem │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── noisy-alzheimer_toxic │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── noisy-dropk-20 │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── noisy-drugdrug │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── noisy-wn18rr1 │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── noisy-wn18rr3 │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── noisy-zendo2-10 │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── robots-functional │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── robots-linear │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── robots-recursion │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── synthesis-alleven │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── synthesis-contains │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── synthesis-dropk │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── synthesis-droplast │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── synthesis-filter │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── synthesis-finddupl │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── synthesis-length │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── synthesis-next │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── synthesis-reverse │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── synthesis-sorted │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── trains1 │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── trains2 │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── trains3 │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── trains4 │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── zendo1 │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── zendo2 │ ├── bias.pl │ ├── bk.pl │ └── exs.pl └── zendo3 │ ├── bias.pl │ ├── bk.pl │ └── exs.pl ├── popper.py ├── popper ├── __init__.py ├── bkcons.py ├── combine.py ├── gen2.py ├── gen3.py ├── generate.py ├── loop.py ├── lp │ ├── alan-old.pl │ ├── alan.pl │ └── test.pl ├── maxsat.py ├── tester.py └── util.py ├── setup.py └── solvers.md /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/LICENSE -------------------------------------------------------------------------------- /MANIFEST.in: -------------------------------------------------------------------------------- 1 | include popper/lp/*.pl -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/README.md -------------------------------------------------------------------------------- /bin/popper-ilp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/bin/popper-ilp -------------------------------------------------------------------------------- /examples/1d_flip/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/1d_flip/bias.pl -------------------------------------------------------------------------------- /examples/1d_flip/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/1d_flip/bk.pl -------------------------------------------------------------------------------- /examples/1d_flip/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/1d_flip/exs.pl -------------------------------------------------------------------------------- /examples/1d_flip/test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/1d_flip/test.pl -------------------------------------------------------------------------------- /examples/1d_pcopy_1c/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/1d_pcopy_1c/bias.pl -------------------------------------------------------------------------------- /examples/1d_pcopy_1c/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/1d_pcopy_1c/bk.pl -------------------------------------------------------------------------------- /examples/1d_pcopy_1c/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/1d_pcopy_1c/exs.pl -------------------------------------------------------------------------------- /examples/1d_pcopy_1c/test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/1d_pcopy_1c/test.pl -------------------------------------------------------------------------------- /examples/andersen/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/andersen/bias.pl -------------------------------------------------------------------------------- /examples/andersen/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/andersen/bk.pl -------------------------------------------------------------------------------- /examples/andersen/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/andersen/exs.pl -------------------------------------------------------------------------------- /examples/iggp-attrition-next-score/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-attrition-next-score/bias.pl -------------------------------------------------------------------------------- /examples/iggp-attrition-next-score/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-attrition-next-score/bk.pl -------------------------------------------------------------------------------- /examples/iggp-attrition-next-score/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-attrition-next-score/exs.pl -------------------------------------------------------------------------------- /examples/iggp-buttons-goal/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-buttons-goal/bias.pl -------------------------------------------------------------------------------- /examples/iggp-buttons-goal/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-buttons-goal/bk.pl -------------------------------------------------------------------------------- /examples/iggp-buttons-goal/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-buttons-goal/exs.pl -------------------------------------------------------------------------------- /examples/iggp-buttons-next/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-buttons-next/bias.pl -------------------------------------------------------------------------------- /examples/iggp-buttons-next/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-buttons-next/bk.pl -------------------------------------------------------------------------------- /examples/iggp-buttons-next/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-buttons-next/exs.pl -------------------------------------------------------------------------------- /examples/iggp-coins-goal/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-coins-goal/bias.pl -------------------------------------------------------------------------------- /examples/iggp-coins-goal/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-coins-goal/bk.pl -------------------------------------------------------------------------------- /examples/iggp-coins-goal/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-coins-goal/exs.pl -------------------------------------------------------------------------------- /examples/iggp-coins-next-cell/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-coins-next-cell/bias.pl -------------------------------------------------------------------------------- /examples/iggp-coins-next-cell/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-coins-next-cell/bk.pl -------------------------------------------------------------------------------- /examples/iggp-coins-next-cell/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-coins-next-cell/exs.pl -------------------------------------------------------------------------------- /examples/iggp-connect4team-next-control/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-connect4team-next-control/bias.pl -------------------------------------------------------------------------------- /examples/iggp-connect4team-next-control/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-connect4team-next-control/bk.pl -------------------------------------------------------------------------------- /examples/iggp-connect4team-next-control/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-connect4team-next-control/exs.pl -------------------------------------------------------------------------------- /examples/iggp-dont-touch-next-control/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-dont-touch-next-control/bias.pl -------------------------------------------------------------------------------- /examples/iggp-dont-touch-next-control/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-dont-touch-next-control/bk.pl -------------------------------------------------------------------------------- /examples/iggp-dont-touch-next-control/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-dont-touch-next-control/exs.pl -------------------------------------------------------------------------------- /examples/iggp-eight-puzzle-legal-move/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-eight-puzzle-legal-move/bias.pl -------------------------------------------------------------------------------- /examples/iggp-eight-puzzle-legal-move/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-eight-puzzle-legal-move/bk.pl -------------------------------------------------------------------------------- /examples/iggp-eight-puzzle-legal-move/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-eight-puzzle-legal-move/exs.pl -------------------------------------------------------------------------------- /examples/iggp-farming-next-has-arson/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-farming-next-has-arson/bias.pl -------------------------------------------------------------------------------- /examples/iggp-farming-next-has-arson/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-farming-next-has-arson/bk.pl -------------------------------------------------------------------------------- /examples/iggp-farming-next-has-arson/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-farming-next-has-arson/exs.pl -------------------------------------------------------------------------------- /examples/iggp-fizzbuzz-goal/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-fizzbuzz-goal/bias.pl -------------------------------------------------------------------------------- /examples/iggp-fizzbuzz-goal/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-fizzbuzz-goal/bk.pl -------------------------------------------------------------------------------- /examples/iggp-fizzbuzz-goal/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-fizzbuzz-goal/exs.pl -------------------------------------------------------------------------------- /examples/iggp-gt-chicken-goal/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-gt-chicken-goal/bias.pl -------------------------------------------------------------------------------- /examples/iggp-gt-chicken-goal/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-gt-chicken-goal/bk.pl -------------------------------------------------------------------------------- /examples/iggp-gt-chicken-goal/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-gt-chicken-goal/exs.pl -------------------------------------------------------------------------------- /examples/iggp-gt_centipede-goal/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-gt_centipede-goal/bias.pl -------------------------------------------------------------------------------- /examples/iggp-gt_centipede-goal/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-gt_centipede-goal/bk.pl -------------------------------------------------------------------------------- /examples/iggp-gt_centipede-goal/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-gt_centipede-goal/exs.pl -------------------------------------------------------------------------------- /examples/iggp-gt_centipede-legal/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-gt_centipede-legal/bias.pl -------------------------------------------------------------------------------- /examples/iggp-gt_centipede-legal/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-gt_centipede-legal/bk.pl -------------------------------------------------------------------------------- /examples/iggp-gt_centipede-legal/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-gt_centipede-legal/exs.pl -------------------------------------------------------------------------------- /examples/iggp-hextforthree-next-control/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-hextforthree-next-control/bias.pl -------------------------------------------------------------------------------- /examples/iggp-hextforthree-next-control/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-hextforthree-next-control/bk.pl -------------------------------------------------------------------------------- /examples/iggp-hextforthree-next-control/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-hextforthree-next-control/exs.pl -------------------------------------------------------------------------------- /examples/iggp-horseshoe-next-cell/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-horseshoe-next-cell/bias.pl -------------------------------------------------------------------------------- /examples/iggp-horseshoe-next-cell/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-horseshoe-next-cell/bk.pl -------------------------------------------------------------------------------- /examples/iggp-horseshoe-next-cell/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-horseshoe-next-cell/exs.pl -------------------------------------------------------------------------------- /examples/iggp-minimal-decay-next-value/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-minimal-decay-next-value/bias.pl -------------------------------------------------------------------------------- /examples/iggp-minimal-decay-next-value/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-minimal-decay-next-value/bk.pl -------------------------------------------------------------------------------- /examples/iggp-minimal-decay-next-value/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-minimal-decay-next-value/exs.pl -------------------------------------------------------------------------------- /examples/iggp-polgrimage-goal/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-polgrimage-goal/bias.pl -------------------------------------------------------------------------------- /examples/iggp-polgrimage-goal/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-polgrimage-goal/bk.pl -------------------------------------------------------------------------------- /examples/iggp-polgrimage-goal/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-polgrimage-goal/exs.pl -------------------------------------------------------------------------------- /examples/iggp-rps-next-score/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-rps-next-score/bias.pl -------------------------------------------------------------------------------- /examples/iggp-rps-next-score/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-rps-next-score/bk.pl -------------------------------------------------------------------------------- /examples/iggp-rps-next-score/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-rps-next-score/exs.pl -------------------------------------------------------------------------------- /examples/iggp-sheep-and-wolf-goal/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-sheep-and-wolf-goal/bias.pl -------------------------------------------------------------------------------- /examples/iggp-sheep-and-wolf-goal/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-sheep-and-wolf-goal/bk.pl -------------------------------------------------------------------------------- /examples/iggp-sheep-and-wolf-goal/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-sheep-and-wolf-goal/exs.pl -------------------------------------------------------------------------------- /examples/iggp-sokoban-goal/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-sokoban-goal/bias.pl -------------------------------------------------------------------------------- /examples/iggp-sokoban-goal/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-sokoban-goal/bk.pl -------------------------------------------------------------------------------- /examples/iggp-sokoban-goal/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-sokoban-goal/exs.pl -------------------------------------------------------------------------------- /examples/iggp-ultimatium-goal/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-ultimatium-goal/bias.pl -------------------------------------------------------------------------------- /examples/iggp-ultimatium-goal/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-ultimatium-goal/bk.pl -------------------------------------------------------------------------------- /examples/iggp-ultimatium-goal/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/iggp-ultimatium-goal/exs.pl -------------------------------------------------------------------------------- /examples/imdb3/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/imdb3/bias.pl -------------------------------------------------------------------------------- /examples/imdb3/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/imdb3/bk.pl -------------------------------------------------------------------------------- /examples/imdb3/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/imdb3/exs.pl -------------------------------------------------------------------------------- /examples/kinship-ancestor/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/kinship-ancestor/bias.pl -------------------------------------------------------------------------------- /examples/kinship-ancestor/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/kinship-ancestor/bk.pl -------------------------------------------------------------------------------- /examples/kinship-ancestor/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/kinship-ancestor/exs.pl -------------------------------------------------------------------------------- /examples/kinship-pi/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/kinship-pi/bias.pl -------------------------------------------------------------------------------- /examples/kinship-pi/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/kinship-pi/bk.pl -------------------------------------------------------------------------------- /examples/kinship-pi/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/kinship-pi/exs.pl -------------------------------------------------------------------------------- /examples/noisy-alzheimer_acetyl/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-alzheimer_acetyl/bias.pl -------------------------------------------------------------------------------- /examples/noisy-alzheimer_acetyl/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-alzheimer_acetyl/bk.pl -------------------------------------------------------------------------------- /examples/noisy-alzheimer_acetyl/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-alzheimer_acetyl/exs.pl -------------------------------------------------------------------------------- /examples/noisy-alzheimer_amine/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-alzheimer_amine/bias.pl -------------------------------------------------------------------------------- /examples/noisy-alzheimer_amine/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-alzheimer_amine/bk.pl -------------------------------------------------------------------------------- /examples/noisy-alzheimer_amine/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-alzheimer_amine/exs.pl -------------------------------------------------------------------------------- /examples/noisy-alzheimer_mem/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-alzheimer_mem/bias.pl -------------------------------------------------------------------------------- /examples/noisy-alzheimer_mem/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-alzheimer_mem/bk.pl -------------------------------------------------------------------------------- /examples/noisy-alzheimer_mem/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-alzheimer_mem/exs.pl -------------------------------------------------------------------------------- /examples/noisy-alzheimer_toxic/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-alzheimer_toxic/bias.pl -------------------------------------------------------------------------------- /examples/noisy-alzheimer_toxic/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-alzheimer_toxic/bk.pl -------------------------------------------------------------------------------- /examples/noisy-alzheimer_toxic/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-alzheimer_toxic/exs.pl -------------------------------------------------------------------------------- /examples/noisy-dropk-20/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-dropk-20/bias.pl -------------------------------------------------------------------------------- /examples/noisy-dropk-20/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-dropk-20/bk.pl -------------------------------------------------------------------------------- /examples/noisy-dropk-20/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-dropk-20/exs.pl -------------------------------------------------------------------------------- /examples/noisy-drugdrug/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-drugdrug/bias.pl -------------------------------------------------------------------------------- /examples/noisy-drugdrug/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-drugdrug/bk.pl -------------------------------------------------------------------------------- /examples/noisy-drugdrug/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-drugdrug/exs.pl -------------------------------------------------------------------------------- /examples/noisy-wn18rr1/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-wn18rr1/bias.pl -------------------------------------------------------------------------------- /examples/noisy-wn18rr1/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-wn18rr1/bk.pl -------------------------------------------------------------------------------- /examples/noisy-wn18rr1/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-wn18rr1/exs.pl -------------------------------------------------------------------------------- /examples/noisy-wn18rr3/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-wn18rr3/bias.pl -------------------------------------------------------------------------------- /examples/noisy-wn18rr3/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-wn18rr3/bk.pl -------------------------------------------------------------------------------- /examples/noisy-wn18rr3/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-wn18rr3/exs.pl -------------------------------------------------------------------------------- /examples/noisy-zendo2-10/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-zendo2-10/bias.pl -------------------------------------------------------------------------------- /examples/noisy-zendo2-10/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-zendo2-10/bk.pl -------------------------------------------------------------------------------- /examples/noisy-zendo2-10/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/noisy-zendo2-10/exs.pl -------------------------------------------------------------------------------- /examples/robots-functional/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/robots-functional/bias.pl -------------------------------------------------------------------------------- /examples/robots-functional/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/robots-functional/bk.pl -------------------------------------------------------------------------------- /examples/robots-functional/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/robots-functional/exs.pl -------------------------------------------------------------------------------- /examples/robots-linear/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/robots-linear/bias.pl -------------------------------------------------------------------------------- /examples/robots-linear/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/robots-linear/bk.pl -------------------------------------------------------------------------------- /examples/robots-linear/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/robots-linear/exs.pl -------------------------------------------------------------------------------- /examples/robots-recursion/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/robots-recursion/bias.pl -------------------------------------------------------------------------------- /examples/robots-recursion/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/robots-recursion/bk.pl -------------------------------------------------------------------------------- /examples/robots-recursion/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/robots-recursion/exs.pl -------------------------------------------------------------------------------- /examples/synthesis-alleven/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-alleven/bias.pl -------------------------------------------------------------------------------- /examples/synthesis-alleven/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-alleven/bk.pl -------------------------------------------------------------------------------- /examples/synthesis-alleven/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-alleven/exs.pl -------------------------------------------------------------------------------- /examples/synthesis-contains/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-contains/bias.pl -------------------------------------------------------------------------------- /examples/synthesis-contains/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-contains/bk.pl -------------------------------------------------------------------------------- /examples/synthesis-contains/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-contains/exs.pl -------------------------------------------------------------------------------- /examples/synthesis-dropk/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-dropk/bias.pl -------------------------------------------------------------------------------- /examples/synthesis-dropk/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-dropk/bk.pl -------------------------------------------------------------------------------- /examples/synthesis-dropk/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-dropk/exs.pl -------------------------------------------------------------------------------- /examples/synthesis-droplast/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-droplast/bias.pl -------------------------------------------------------------------------------- /examples/synthesis-droplast/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-droplast/bk.pl -------------------------------------------------------------------------------- /examples/synthesis-droplast/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-droplast/exs.pl -------------------------------------------------------------------------------- /examples/synthesis-filter/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-filter/bias.pl -------------------------------------------------------------------------------- /examples/synthesis-filter/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-filter/bk.pl -------------------------------------------------------------------------------- /examples/synthesis-filter/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-filter/exs.pl -------------------------------------------------------------------------------- /examples/synthesis-finddupl/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-finddupl/bias.pl -------------------------------------------------------------------------------- /examples/synthesis-finddupl/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-finddupl/bk.pl -------------------------------------------------------------------------------- /examples/synthesis-finddupl/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-finddupl/exs.pl -------------------------------------------------------------------------------- /examples/synthesis-length/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-length/bias.pl -------------------------------------------------------------------------------- /examples/synthesis-length/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-length/bk.pl -------------------------------------------------------------------------------- /examples/synthesis-length/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-length/exs.pl -------------------------------------------------------------------------------- /examples/synthesis-next/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-next/bias.pl -------------------------------------------------------------------------------- /examples/synthesis-next/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-next/bk.pl -------------------------------------------------------------------------------- /examples/synthesis-next/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-next/exs.pl -------------------------------------------------------------------------------- /examples/synthesis-reverse/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-reverse/bias.pl -------------------------------------------------------------------------------- /examples/synthesis-reverse/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-reverse/bk.pl -------------------------------------------------------------------------------- /examples/synthesis-reverse/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-reverse/exs.pl -------------------------------------------------------------------------------- /examples/synthesis-sorted/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-sorted/bias.pl -------------------------------------------------------------------------------- /examples/synthesis-sorted/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-sorted/bk.pl -------------------------------------------------------------------------------- /examples/synthesis-sorted/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/synthesis-sorted/exs.pl -------------------------------------------------------------------------------- /examples/trains1/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/trains1/bias.pl -------------------------------------------------------------------------------- /examples/trains1/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/trains1/bk.pl -------------------------------------------------------------------------------- /examples/trains1/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/trains1/exs.pl -------------------------------------------------------------------------------- /examples/trains2/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/trains2/bias.pl -------------------------------------------------------------------------------- /examples/trains2/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/trains2/bk.pl -------------------------------------------------------------------------------- /examples/trains2/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/trains2/exs.pl -------------------------------------------------------------------------------- /examples/trains3/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/trains3/bias.pl -------------------------------------------------------------------------------- /examples/trains3/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/trains3/bk.pl -------------------------------------------------------------------------------- /examples/trains3/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/trains3/exs.pl -------------------------------------------------------------------------------- /examples/trains4/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/trains4/bias.pl -------------------------------------------------------------------------------- /examples/trains4/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/trains4/bk.pl -------------------------------------------------------------------------------- /examples/trains4/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/trains4/exs.pl -------------------------------------------------------------------------------- /examples/zendo1/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/zendo1/bias.pl -------------------------------------------------------------------------------- /examples/zendo1/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/zendo1/bk.pl -------------------------------------------------------------------------------- /examples/zendo1/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/zendo1/exs.pl -------------------------------------------------------------------------------- /examples/zendo2/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/zendo2/bias.pl -------------------------------------------------------------------------------- /examples/zendo2/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/zendo2/bk.pl -------------------------------------------------------------------------------- /examples/zendo2/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/zendo2/exs.pl -------------------------------------------------------------------------------- /examples/zendo3/bias.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/zendo3/bias.pl -------------------------------------------------------------------------------- /examples/zendo3/bk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/zendo3/bk.pl -------------------------------------------------------------------------------- /examples/zendo3/exs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/examples/zendo3/exs.pl -------------------------------------------------------------------------------- /popper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/popper.py -------------------------------------------------------------------------------- /popper/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /popper/bkcons.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/popper/bkcons.py -------------------------------------------------------------------------------- /popper/combine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/popper/combine.py -------------------------------------------------------------------------------- /popper/gen2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/popper/gen2.py -------------------------------------------------------------------------------- /popper/gen3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/popper/gen3.py -------------------------------------------------------------------------------- /popper/generate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/popper/generate.py -------------------------------------------------------------------------------- /popper/loop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/popper/loop.py -------------------------------------------------------------------------------- /popper/lp/alan-old.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/popper/lp/alan-old.pl -------------------------------------------------------------------------------- /popper/lp/alan.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/popper/lp/alan.pl -------------------------------------------------------------------------------- /popper/lp/test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/popper/lp/test.pl -------------------------------------------------------------------------------- /popper/maxsat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/popper/maxsat.py -------------------------------------------------------------------------------- /popper/tester.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/popper/tester.py -------------------------------------------------------------------------------- /popper/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/popper/util.py -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/setup.py -------------------------------------------------------------------------------- /solvers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-and-learning-lab/Popper/HEAD/solvers.md --------------------------------------------------------------------------------