├── .gitignore ├── LICENSE.txt ├── MANIFEST.in ├── README.md ├── examples ├── ancestor.dl ├── coins.dl ├── entres.dl ├── exthello.dl ├── exthello.py ├── power.dl └── royal92.dl ├── judged.py ├── judged ├── __init__.py ├── __main__.py ├── actions.py ├── bdd.py ├── context.py ├── extensions.py ├── formatting.py ├── interned.py ├── logic.py ├── parser.py ├── primitives.py ├── tokenizer.py ├── tokens.py └── worlds.py ├── setup.cfg ├── setup.py └── tests ├── __init__.py ├── __main__.py ├── cases ├── deterministic │ ├── ancestor.dl │ ├── ancestor.txt │ ├── bidipath.dl │ ├── bidipath.txt │ ├── generator.dl │ ├── generator.txt │ ├── laps.dl │ ├── laps.txt │ ├── long.dl │ ├── long.txt │ ├── negloops1.dl │ ├── negloops1.txt │ ├── noreach1.dl │ ├── noreach1.txt │ ├── noreach2.dl │ ├── noreach2.txt │ ├── numbers.dl │ ├── numbers.txt │ ├── path.dl │ ├── path.txt │ ├── pq.dl │ ├── pq.txt │ ├── revpath.dl │ ├── revpath.txt │ ├── says.dl │ ├── says.txt │ ├── set.dl │ ├── set.txt │ ├── simple.dl │ ├── simple.txt │ ├── tc.dl │ ├── tc.txt │ ├── true.dl │ ├── true.txt │ ├── types.dl │ └── types.txt ├── exact │ ├── coins.dl │ ├── coins.txt │ ├── coins_orderless.dl │ ├── coins_orderless.txt │ ├── coins_same.dl │ ├── coins_same.txt │ ├── noopgen.dl │ └── noopgen.txt └── montecarlo │ ├── noopgen.dl │ └── noopgen.txt ├── lawful.py ├── test_cases.py ├── test_core.py ├── test_knowledge.py ├── test_parser.py ├── test_prover.py ├── test_tokenizer.py └── test_worlds.py /.gitignore: -------------------------------------------------------------------------------- 1 | __pycache__/ 2 | env/ 3 | dist/ 4 | judged.egg-info/ 5 | *.swp 6 | *.local.* 7 | -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /MANIFEST.in: -------------------------------------------------------------------------------- 1 | include *.md LICENSE.txt 2 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/README.md -------------------------------------------------------------------------------- /examples/ancestor.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/examples/ancestor.dl -------------------------------------------------------------------------------- /examples/coins.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/examples/coins.dl -------------------------------------------------------------------------------- /examples/entres.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/examples/entres.dl -------------------------------------------------------------------------------- /examples/exthello.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/examples/exthello.dl -------------------------------------------------------------------------------- /examples/exthello.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/examples/exthello.py -------------------------------------------------------------------------------- /examples/power.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/examples/power.dl -------------------------------------------------------------------------------- /examples/royal92.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/examples/royal92.dl -------------------------------------------------------------------------------- /judged.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged.py -------------------------------------------------------------------------------- /judged/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged/__init__.py -------------------------------------------------------------------------------- /judged/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged/__main__.py -------------------------------------------------------------------------------- /judged/actions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged/actions.py -------------------------------------------------------------------------------- /judged/bdd.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged/bdd.py -------------------------------------------------------------------------------- /judged/context.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged/context.py -------------------------------------------------------------------------------- /judged/extensions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged/extensions.py -------------------------------------------------------------------------------- /judged/formatting.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged/formatting.py -------------------------------------------------------------------------------- /judged/interned.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged/interned.py -------------------------------------------------------------------------------- /judged/logic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged/logic.py -------------------------------------------------------------------------------- /judged/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged/parser.py -------------------------------------------------------------------------------- /judged/primitives.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged/primitives.py -------------------------------------------------------------------------------- /judged/tokenizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged/tokenizer.py -------------------------------------------------------------------------------- /judged/tokens.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged/tokens.py -------------------------------------------------------------------------------- /judged/worlds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/judged/worlds.py -------------------------------------------------------------------------------- /setup.cfg: -------------------------------------------------------------------------------- 1 | [metadata] 2 | description-file = README.md 3 | -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/setup.py -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/__init__.py -------------------------------------------------------------------------------- /tests/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/__main__.py -------------------------------------------------------------------------------- /tests/cases/deterministic/ancestor.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/ancestor.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/ancestor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/ancestor.txt -------------------------------------------------------------------------------- /tests/cases/deterministic/bidipath.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/bidipath.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/bidipath.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/bidipath.txt -------------------------------------------------------------------------------- /tests/cases/deterministic/generator.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/generator.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/generator.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/generator.txt -------------------------------------------------------------------------------- /tests/cases/deterministic/laps.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/laps.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/laps.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/laps.txt -------------------------------------------------------------------------------- /tests/cases/deterministic/long.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/long.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/long.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/long.txt -------------------------------------------------------------------------------- /tests/cases/deterministic/negloops1.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/negloops1.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/negloops1.txt: -------------------------------------------------------------------------------- 1 | s. 2 | -------------------------------------------------------------------------------- /tests/cases/deterministic/noreach1.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/noreach1.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/noreach1.txt: -------------------------------------------------------------------------------- 1 | noReach(d). 2 | -------------------------------------------------------------------------------- /tests/cases/deterministic/noreach2.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/noreach2.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/noreach2.txt: -------------------------------------------------------------------------------- 1 | noReach(f). 2 | -------------------------------------------------------------------------------- /tests/cases/deterministic/numbers.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/numbers.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/numbers.txt: -------------------------------------------------------------------------------- 1 | b(1). 2 | b(2). 3 | -------------------------------------------------------------------------------- /tests/cases/deterministic/path.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/path.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/path.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/path.txt -------------------------------------------------------------------------------- /tests/cases/deterministic/pq.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/pq.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/pq.txt: -------------------------------------------------------------------------------- 1 | q(a). 2 | -------------------------------------------------------------------------------- /tests/cases/deterministic/revpath.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/revpath.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/revpath.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/revpath.txt -------------------------------------------------------------------------------- /tests/cases/deterministic/says.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/says.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/says.txt: -------------------------------------------------------------------------------- 1 | says(tpme1, m1). 2 | -------------------------------------------------------------------------------- /tests/cases/deterministic/set.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/set.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/set.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/set.txt -------------------------------------------------------------------------------- /tests/cases/deterministic/simple.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/simple.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/simple.txt: -------------------------------------------------------------------------------- 1 | a(bar). 2 | a(foo). 3 | -------------------------------------------------------------------------------- /tests/cases/deterministic/tc.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/tc.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/tc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/tc.txt -------------------------------------------------------------------------------- /tests/cases/deterministic/true.dl: -------------------------------------------------------------------------------- 1 | true. 2 | true? 3 | -------------------------------------------------------------------------------- /tests/cases/deterministic/true.txt: -------------------------------------------------------------------------------- 1 | true. 2 | -------------------------------------------------------------------------------- /tests/cases/deterministic/types.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/types.dl -------------------------------------------------------------------------------- /tests/cases/deterministic/types.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/deterministic/types.txt -------------------------------------------------------------------------------- /tests/cases/exact/coins.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/exact/coins.dl -------------------------------------------------------------------------------- /tests/cases/exact/coins.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/exact/coins.txt -------------------------------------------------------------------------------- /tests/cases/exact/coins_orderless.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/exact/coins_orderless.dl -------------------------------------------------------------------------------- /tests/cases/exact/coins_orderless.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/exact/coins_orderless.txt -------------------------------------------------------------------------------- /tests/cases/exact/coins_same.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/exact/coins_same.dl -------------------------------------------------------------------------------- /tests/cases/exact/coins_same.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/exact/coins_same.txt -------------------------------------------------------------------------------- /tests/cases/exact/noopgen.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/exact/noopgen.dl -------------------------------------------------------------------------------- /tests/cases/exact/noopgen.txt: -------------------------------------------------------------------------------- 1 | % no answers should be present 2 | -------------------------------------------------------------------------------- /tests/cases/montecarlo/noopgen.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/cases/montecarlo/noopgen.dl -------------------------------------------------------------------------------- /tests/cases/montecarlo/noopgen.txt: -------------------------------------------------------------------------------- 1 | % no answers should be present 2 | -------------------------------------------------------------------------------- /tests/lawful.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/lawful.py -------------------------------------------------------------------------------- /tests/test_cases.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/test_cases.py -------------------------------------------------------------------------------- /tests/test_core.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/test_core.py -------------------------------------------------------------------------------- /tests/test_knowledge.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/test_knowledge.py -------------------------------------------------------------------------------- /tests/test_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/test_parser.py -------------------------------------------------------------------------------- /tests/test_prover.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/test_prover.py -------------------------------------------------------------------------------- /tests/test_tokenizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/test_tokenizer.py -------------------------------------------------------------------------------- /tests/test_worlds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utdb/judged/HEAD/tests/test_worlds.py --------------------------------------------------------------------------------