├── .hgignore ├── .hgtags ├── LICENSE ├── prolog ├── __init__.py ├── builtin │ ├── __init__.py │ ├── allsolution.py │ ├── arithmeticbuiltin.py │ ├── atomconstruction.py │ ├── attvars.py │ ├── control.py │ ├── database.py │ ├── exception.py │ ├── formatting.py │ ├── metacall.py │ ├── modules.py │ ├── numberchars.py │ ├── parseraccess.py │ ├── register.py │ ├── source.py │ ├── sourcehelper.py │ ├── statistics.py │ ├── streams.py │ ├── term_variables.py │ ├── termconstruction.py │ ├── test │ │ ├── __init__.py │ │ ├── test_formatting.py │ │ └── test_statistics.py │ ├── tracing.py │ ├── type.py │ └── unify.py ├── doc.txt ├── interpreter │ ├── __init__.py │ ├── arithmetic.py │ ├── continuation.py │ ├── error.py │ ├── function.py │ ├── heap.py │ ├── helper.py │ ├── memo.py │ ├── module.py │ ├── parsing.py │ ├── signature.py │ ├── stream.py │ ├── term.py │ ├── test │ │ ├── __init__.py │ │ ├── bug.pl │ │ ├── dont_test_translate.py │ │ ├── inriasuite │ │ │ ├── abolish │ │ │ ├── and │ │ │ ├── arg │ │ │ ├── arith_diff │ │ │ ├── arith_eq │ │ │ ├── arith_gt │ │ │ ├── arith_gt= │ │ │ ├── arith_lt │ │ │ ├── arith_lt= │ │ │ ├── asserta │ │ │ ├── assertz │ │ │ ├── atom │ │ │ ├── atom_chars │ │ │ ├── atom_codes │ │ │ ├── atom_concat │ │ │ ├── atom_length │ │ │ ├── atomic │ │ │ ├── bagof │ │ │ ├── call │ │ │ ├── catch-and-throw │ │ │ ├── char_code │ │ │ ├── clause │ │ │ ├── compound │ │ │ ├── copy_term │ │ │ ├── current_input │ │ │ ├── current_output │ │ │ ├── current_predicate │ │ │ ├── current_prolog_flag │ │ │ ├── cut │ │ │ ├── fail │ │ │ ├── file_manip │ │ │ ├── findall │ │ │ ├── float │ │ │ ├── functor │ │ │ ├── functor-bis │ │ │ ├── halt │ │ │ ├── if-then │ │ │ ├── if-then-else │ │ │ ├── integer │ │ │ ├── is │ │ │ ├── junk │ │ │ ├── nonvar │ │ │ ├── not_provable │ │ │ ├── not_unify │ │ │ ├── number │ │ │ ├── number_chars │ │ │ ├── number_codes │ │ │ ├── once │ │ │ ├── or │ │ │ ├── repeat │ │ │ ├── retract │ │ │ ├── set_prolog_flag │ │ │ ├── setof │ │ │ ├── sub_atom │ │ │ ├── t │ │ │ ├── term_diff │ │ │ ├── term_eq │ │ │ ├── term_gt │ │ │ ├── term_gt= │ │ │ ├── term_lt │ │ │ ├── term_lt= │ │ │ ├── true │ │ │ └── unify │ │ ├── test_arithmetic.py │ │ ├── test_attvars.py │ │ ├── test_builtin.py │ │ ├── test_callable_interface.py │ │ ├── test_console_output.py │ │ ├── test_continuation.py │ │ ├── test_coroutines.py │ │ ├── test_dcgs.py │ │ ├── test_error.py │ │ ├── test_function.py │ │ ├── test_heap.py │ │ ├── test_helper.py │ │ ├── test_iso.py │ │ ├── test_module.py │ │ ├── test_numbervars.py │ │ ├── test_parsing.py │ │ ├── test_resource_consumption.py │ │ ├── test_signature.py │ │ ├── test_sourcehelper.py │ │ ├── test_specialized_terms.py │ │ ├── test_standard_order.py │ │ ├── test_streams.py │ │ ├── test_strictly_identical_or_not_unifiable.py │ │ ├── test_string.py │ │ ├── test_term_variables.py │ │ ├── test_tracing.py │ │ ├── test_unification.py │ │ ├── test_varinterm.py │ │ └── tool.py │ └── translatedmain.py ├── jittest │ ├── __init__.py │ ├── interpjit.py │ ├── model.py │ ├── test_00_model.py │ └── test_iterate.py └── prolog_modules │ ├── attvars.pl │ ├── coroutines.pl │ ├── dcg.pl │ ├── freeze.pl │ ├── list.pl │ ├── numbervars.pl │ ├── structural_comparison.pl │ ├── system.pl │ ├── test │ └── test_list.py │ ├── unifiable.pl │ └── when.pl └── targetprologstandalone.py /.hgignore: -------------------------------------------------------------------------------- 1 | .*\.swp$ 2 | .*\.pyc$ 3 | -------------------------------------------------------------------------------- /.hgtags: -------------------------------------------------------------------------------- 1 | 262dda84f6634555bf559ff0f28732ff94f2132d translating 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/LICENSE -------------------------------------------------------------------------------- /prolog/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /prolog/builtin/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/__init__.py -------------------------------------------------------------------------------- /prolog/builtin/allsolution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/allsolution.py -------------------------------------------------------------------------------- /prolog/builtin/arithmeticbuiltin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/arithmeticbuiltin.py -------------------------------------------------------------------------------- /prolog/builtin/atomconstruction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/atomconstruction.py -------------------------------------------------------------------------------- /prolog/builtin/attvars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/attvars.py -------------------------------------------------------------------------------- /prolog/builtin/control.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/control.py -------------------------------------------------------------------------------- /prolog/builtin/database.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/database.py -------------------------------------------------------------------------------- /prolog/builtin/exception.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/exception.py -------------------------------------------------------------------------------- /prolog/builtin/formatting.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/formatting.py -------------------------------------------------------------------------------- /prolog/builtin/metacall.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/metacall.py -------------------------------------------------------------------------------- /prolog/builtin/modules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/modules.py -------------------------------------------------------------------------------- /prolog/builtin/numberchars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/numberchars.py -------------------------------------------------------------------------------- /prolog/builtin/parseraccess.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/parseraccess.py -------------------------------------------------------------------------------- /prolog/builtin/register.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/register.py -------------------------------------------------------------------------------- /prolog/builtin/source.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/source.py -------------------------------------------------------------------------------- /prolog/builtin/sourcehelper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/sourcehelper.py -------------------------------------------------------------------------------- /prolog/builtin/statistics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/statistics.py -------------------------------------------------------------------------------- /prolog/builtin/streams.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/streams.py -------------------------------------------------------------------------------- /prolog/builtin/term_variables.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/term_variables.py -------------------------------------------------------------------------------- /prolog/builtin/termconstruction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/termconstruction.py -------------------------------------------------------------------------------- /prolog/builtin/test/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /prolog/builtin/test/test_formatting.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/test/test_formatting.py -------------------------------------------------------------------------------- /prolog/builtin/test/test_statistics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/test/test_statistics.py -------------------------------------------------------------------------------- /prolog/builtin/tracing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/tracing.py -------------------------------------------------------------------------------- /prolog/builtin/type.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/type.py -------------------------------------------------------------------------------- /prolog/builtin/unify.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/builtin/unify.py -------------------------------------------------------------------------------- /prolog/doc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/doc.txt -------------------------------------------------------------------------------- /prolog/interpreter/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /prolog/interpreter/arithmetic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/arithmetic.py -------------------------------------------------------------------------------- /prolog/interpreter/continuation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/continuation.py -------------------------------------------------------------------------------- /prolog/interpreter/error.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/error.py -------------------------------------------------------------------------------- /prolog/interpreter/function.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/function.py -------------------------------------------------------------------------------- /prolog/interpreter/heap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/heap.py -------------------------------------------------------------------------------- /prolog/interpreter/helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/helper.py -------------------------------------------------------------------------------- /prolog/interpreter/memo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/memo.py -------------------------------------------------------------------------------- /prolog/interpreter/module.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/module.py -------------------------------------------------------------------------------- /prolog/interpreter/parsing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/parsing.py -------------------------------------------------------------------------------- /prolog/interpreter/signature.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/signature.py -------------------------------------------------------------------------------- /prolog/interpreter/stream.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/stream.py -------------------------------------------------------------------------------- /prolog/interpreter/term.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/term.py -------------------------------------------------------------------------------- /prolog/interpreter/test/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /prolog/interpreter/test/bug.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/bug.pl -------------------------------------------------------------------------------- /prolog/interpreter/test/dont_test_translate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/dont_test_translate.py -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/abolish: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/abolish -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/and: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/and -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/arg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/arg -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/arith_diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/arith_diff -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/arith_eq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/arith_eq -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/arith_gt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/arith_gt -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/arith_gt=: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/arith_gt= -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/arith_lt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/arith_lt -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/arith_lt=: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/arith_lt= -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/asserta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/asserta -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/assertz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/assertz -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/atom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/atom -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/atom_chars: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/atom_chars -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/atom_codes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/atom_codes -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/atom_concat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/atom_concat -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/atom_length: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/atom_length -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/atomic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/atomic -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/bagof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/bagof -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/call: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/call -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/catch-and-throw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/catch-and-throw -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/char_code: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/char_code -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/clause: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/clause -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/compound: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/compound -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/copy_term: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/copy_term -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/current_input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/current_input -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/current_output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/current_output -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/current_predicate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/current_predicate -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/current_prolog_flag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/current_prolog_flag -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/cut: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/cut -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/fail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/fail -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/file_manip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/file_manip -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/findall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/findall -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/float: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/float -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/functor -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/functor-bis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/functor-bis -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/halt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/halt -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/if-then: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/if-then -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/if-then-else: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/if-then-else -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/integer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/integer -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/is: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/is -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/junk: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/nonvar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/nonvar -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/not_provable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/not_provable -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/not_unify: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/not_unify -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/number: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/number -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/number_chars: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/number_chars -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/number_codes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/number_codes -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/once: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/once -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/or: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/or -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/repeat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/repeat -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/retract: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/retract -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/set_prolog_flag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/set_prolog_flag -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/setof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/setof -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/sub_atom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/sub_atom -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/t: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/t -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/term_diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/term_diff -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/term_eq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/term_eq -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/term_gt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/term_gt -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/term_gt=: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/term_gt= -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/term_lt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/term_lt -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/term_lt=: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/term_lt= -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/true: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/true -------------------------------------------------------------------------------- /prolog/interpreter/test/inriasuite/unify: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/inriasuite/unify -------------------------------------------------------------------------------- /prolog/interpreter/test/test_arithmetic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_arithmetic.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_attvars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_attvars.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_builtin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_builtin.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_callable_interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_callable_interface.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_console_output.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_console_output.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_continuation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_continuation.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_coroutines.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_coroutines.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_dcgs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_dcgs.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_error.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_error.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_function.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_function.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_heap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_heap.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_helper.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_iso.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_iso.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_module.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_module.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_numbervars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_numbervars.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_parsing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_parsing.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_resource_consumption.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_resource_consumption.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_signature.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_signature.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_sourcehelper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_sourcehelper.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_specialized_terms.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_specialized_terms.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_standard_order.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_standard_order.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_streams.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_streams.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_strictly_identical_or_not_unifiable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_strictly_identical_or_not_unifiable.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_string.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_string.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_term_variables.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_term_variables.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_tracing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_tracing.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_unification.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_unification.py -------------------------------------------------------------------------------- /prolog/interpreter/test/test_varinterm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/test_varinterm.py -------------------------------------------------------------------------------- /prolog/interpreter/test/tool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/test/tool.py -------------------------------------------------------------------------------- /prolog/interpreter/translatedmain.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/interpreter/translatedmain.py -------------------------------------------------------------------------------- /prolog/jittest/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /prolog/jittest/interpjit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/jittest/interpjit.py -------------------------------------------------------------------------------- /prolog/jittest/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/jittest/model.py -------------------------------------------------------------------------------- /prolog/jittest/test_00_model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/jittest/test_00_model.py -------------------------------------------------------------------------------- /prolog/jittest/test_iterate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/jittest/test_iterate.py -------------------------------------------------------------------------------- /prolog/prolog_modules/attvars.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/prolog_modules/attvars.pl -------------------------------------------------------------------------------- /prolog/prolog_modules/coroutines.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/prolog_modules/coroutines.pl -------------------------------------------------------------------------------- /prolog/prolog_modules/dcg.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/prolog_modules/dcg.pl -------------------------------------------------------------------------------- /prolog/prolog_modules/freeze.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/prolog_modules/freeze.pl -------------------------------------------------------------------------------- /prolog/prolog_modules/list.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/prolog_modules/list.pl -------------------------------------------------------------------------------- /prolog/prolog_modules/numbervars.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/prolog_modules/numbervars.pl -------------------------------------------------------------------------------- /prolog/prolog_modules/structural_comparison.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/prolog_modules/structural_comparison.pl -------------------------------------------------------------------------------- /prolog/prolog_modules/system.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/prolog_modules/system.pl -------------------------------------------------------------------------------- /prolog/prolog_modules/test/test_list.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/prolog_modules/test/test_list.py -------------------------------------------------------------------------------- /prolog/prolog_modules/unifiable.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/prolog_modules/unifiable.pl -------------------------------------------------------------------------------- /prolog/prolog_modules/when.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/prolog/prolog_modules/when.pl -------------------------------------------------------------------------------- /targetprologstandalone.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cosmoharrigan/pyrolog/HEAD/targetprologstandalone.py --------------------------------------------------------------------------------