logic-and-learning-lab/Popper

bkcons filepath

Closed this issue · 1 comments

bkcons.py assumes that popper is being invoked from the root directory of the repo, here:

with open('popper/lp/cons.pl') as f:

possible fix:

from pathlib import Path

cons_file = Path(__file__).parent / "lp" / "cons.pl"
with open(cons_file) as f:

Fixed. Thanks!