├── .gitignore ├── .gitmodules ├── EXTENSIONS.md ├── LICENSE ├── Makefile ├── README.gmp ├── README.md ├── package.json ├── proscript.xcodeproj ├── .gitignore ├── project.pbxproj ├── project.xcworkspace │ ├── contents.xcworkspacedata │ ├── xcshareddata │ │ └── proscript.xcscmblueprint │ └── xcuserdata │ │ └── mattlilley.xcuserdatad │ │ └── UserInterfaceState.xcuserstate └── xcuserdata │ └── mattlilley.xcuserdatad │ └── xcschemes │ ├── proscript.xcscheme │ └── xcschememanagement.plist ├── proscript2.h ├── src ├── .gitignore ├── Info.plist ├── arithmetic.c ├── arithmetic.h ├── bihashmap.c ├── bihashmap.h ├── builtin.h ├── builtin.pl ├── char_buffer.c ├── char_buffer.h ├── char_conversion.c ├── char_conversion.h ├── checks.h ├── compiler.c ├── compiler.h ├── constants ├── constants.c ├── constants.h ├── crc.c ├── crc.h ├── ctable.c ├── ctable.h ├── errors.c ├── errors.h ├── fli.c ├── foreign.c ├── foreign.h ├── foreign_impl.c ├── format.c ├── format.h ├── global.c ├── global.h ├── hash.c ├── hash.h ├── hashmap.c ├── hashmap.h ├── init.c ├── init.h ├── instructions ├── kernel.c ├── kernel.h ├── list.c ├── list.h ├── local.c ├── local.h ├── main.c ├── module.c ├── module.h ├── operators.c ├── operators.h ├── options.c ├── options.h ├── parser.c ├── parser.h ├── pre.js ├── prolog_flag.c ├── prolog_flag.h ├── record.c ├── record.h ├── stream.c ├── stream.h ├── string_builder.c ├── string_builder.h ├── term_writer.c ├── term_writer.h ├── test.c ├── test.h ├── todo ├── types.h ├── whashmap.c └── whashmap.h ├── test.html ├── test.js └── tests ├── agc.pl ├── inriasuite ├── README ├── abolish ├── aggregate ├── 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 ├── countries.pl ├── current_input ├── current_output ├── current_predicate ├── current_prolog_flag ├── cut ├── fail ├── file_manip ├── findall ├── float ├── format ├── functor ├── functor-bis ├── ground ├── halt ├── if-then ├── if-then-else ├── inriasuite.js ├── inriasuite.obp ├── inriasuite.pl ├── integer ├── is ├── junk ├── nonvar ├── not_provable ├── not_unify ├── nth0 ├── number ├── number_chars ├── number_codes ├── once ├── operators ├── or ├── p.pl ├── rdiv ├── repeat ├── retract ├── set_prolog_flag ├── setof ├── sub_atom ├── t ├── t_foo.pl ├── term_diff ├── term_eq ├── term_gt ├── term_gt= ├── term_lt ├── term_lt= ├── true ├── unicode ├── unify └── univ ├── r.pl └── t.pl /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/.gitmodules -------------------------------------------------------------------------------- /EXTENSIONS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/EXTENSIONS.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/Makefile -------------------------------------------------------------------------------- /README.gmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/README.gmp -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/README.md -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/package.json -------------------------------------------------------------------------------- /proscript.xcodeproj/.gitignore: -------------------------------------------------------------------------------- 1 | xcuserdata/* -------------------------------------------------------------------------------- /proscript.xcodeproj/project.pbxproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/proscript.xcodeproj/project.pbxproj -------------------------------------------------------------------------------- /proscript.xcodeproj/project.xcworkspace/contents.xcworkspacedata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/proscript.xcodeproj/project.xcworkspace/contents.xcworkspacedata -------------------------------------------------------------------------------- /proscript.xcodeproj/project.xcworkspace/xcshareddata/proscript.xcscmblueprint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/proscript.xcodeproj/project.xcworkspace/xcshareddata/proscript.xcscmblueprint -------------------------------------------------------------------------------- /proscript.xcodeproj/project.xcworkspace/xcuserdata/mattlilley.xcuserdatad/UserInterfaceState.xcuserstate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/proscript.xcodeproj/project.xcworkspace/xcuserdata/mattlilley.xcuserdatad/UserInterfaceState.xcuserstate -------------------------------------------------------------------------------- /proscript.xcodeproj/xcuserdata/mattlilley.xcuserdatad/xcschemes/proscript.xcscheme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/proscript.xcodeproj/xcuserdata/mattlilley.xcuserdatad/xcschemes/proscript.xcscheme -------------------------------------------------------------------------------- /proscript.xcodeproj/xcuserdata/mattlilley.xcuserdatad/xcschemes/xcschememanagement.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/proscript.xcodeproj/xcuserdata/mattlilley.xcuserdatad/xcschemes/xcschememanagement.plist -------------------------------------------------------------------------------- /proscript2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/proscript2.h -------------------------------------------------------------------------------- /src/.gitignore: -------------------------------------------------------------------------------- 1 | *~ -------------------------------------------------------------------------------- /src/Info.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/Info.plist -------------------------------------------------------------------------------- /src/arithmetic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/arithmetic.c -------------------------------------------------------------------------------- /src/arithmetic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/arithmetic.h -------------------------------------------------------------------------------- /src/bihashmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/bihashmap.c -------------------------------------------------------------------------------- /src/bihashmap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/bihashmap.h -------------------------------------------------------------------------------- /src/builtin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/builtin.h -------------------------------------------------------------------------------- /src/builtin.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/builtin.pl -------------------------------------------------------------------------------- /src/char_buffer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/char_buffer.c -------------------------------------------------------------------------------- /src/char_buffer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/char_buffer.h -------------------------------------------------------------------------------- /src/char_conversion.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/char_conversion.c -------------------------------------------------------------------------------- /src/char_conversion.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/char_conversion.h -------------------------------------------------------------------------------- /src/checks.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/checks.h -------------------------------------------------------------------------------- /src/compiler.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/compiler.c -------------------------------------------------------------------------------- /src/compiler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/compiler.h -------------------------------------------------------------------------------- /src/constants: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/constants -------------------------------------------------------------------------------- /src/constants.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/constants.c -------------------------------------------------------------------------------- /src/constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/constants.h -------------------------------------------------------------------------------- /src/crc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/crc.c -------------------------------------------------------------------------------- /src/crc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/crc.h -------------------------------------------------------------------------------- /src/ctable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/ctable.c -------------------------------------------------------------------------------- /src/ctable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/ctable.h -------------------------------------------------------------------------------- /src/errors.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/errors.c -------------------------------------------------------------------------------- /src/errors.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/errors.h -------------------------------------------------------------------------------- /src/fli.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/fli.c -------------------------------------------------------------------------------- /src/foreign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/foreign.c -------------------------------------------------------------------------------- /src/foreign.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/foreign.h -------------------------------------------------------------------------------- /src/foreign_impl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/foreign_impl.c -------------------------------------------------------------------------------- /src/format.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/format.c -------------------------------------------------------------------------------- /src/format.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/format.h -------------------------------------------------------------------------------- /src/global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/global.c -------------------------------------------------------------------------------- /src/global.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/global.h -------------------------------------------------------------------------------- /src/hash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/hash.c -------------------------------------------------------------------------------- /src/hash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/hash.h -------------------------------------------------------------------------------- /src/hashmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/hashmap.c -------------------------------------------------------------------------------- /src/hashmap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/hashmap.h -------------------------------------------------------------------------------- /src/init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/init.c -------------------------------------------------------------------------------- /src/init.h: -------------------------------------------------------------------------------- 1 | void init_prolog(); 2 | -------------------------------------------------------------------------------- /src/instructions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/instructions -------------------------------------------------------------------------------- /src/kernel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/kernel.c -------------------------------------------------------------------------------- /src/kernel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/kernel.h -------------------------------------------------------------------------------- /src/list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/list.c -------------------------------------------------------------------------------- /src/list.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/list.h -------------------------------------------------------------------------------- /src/local.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/local.c -------------------------------------------------------------------------------- /src/local.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/local.h -------------------------------------------------------------------------------- /src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/main.c -------------------------------------------------------------------------------- /src/module.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/module.c -------------------------------------------------------------------------------- /src/module.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/module.h -------------------------------------------------------------------------------- /src/operators.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/operators.c -------------------------------------------------------------------------------- /src/operators.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/operators.h -------------------------------------------------------------------------------- /src/options.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/options.c -------------------------------------------------------------------------------- /src/options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/options.h -------------------------------------------------------------------------------- /src/parser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/parser.c -------------------------------------------------------------------------------- /src/parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/parser.h -------------------------------------------------------------------------------- /src/pre.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/pre.js -------------------------------------------------------------------------------- /src/prolog_flag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/prolog_flag.c -------------------------------------------------------------------------------- /src/prolog_flag.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/prolog_flag.h -------------------------------------------------------------------------------- /src/record.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/record.c -------------------------------------------------------------------------------- /src/record.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/record.h -------------------------------------------------------------------------------- /src/stream.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/stream.c -------------------------------------------------------------------------------- /src/stream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/stream.h -------------------------------------------------------------------------------- /src/string_builder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/string_builder.c -------------------------------------------------------------------------------- /src/string_builder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/string_builder.h -------------------------------------------------------------------------------- /src/term_writer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/term_writer.c -------------------------------------------------------------------------------- /src/term_writer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/term_writer.h -------------------------------------------------------------------------------- /src/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/test.c -------------------------------------------------------------------------------- /src/test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/test.h -------------------------------------------------------------------------------- /src/todo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/todo -------------------------------------------------------------------------------- /src/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/types.h -------------------------------------------------------------------------------- /src/whashmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/whashmap.c -------------------------------------------------------------------------------- /src/whashmap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/src/whashmap.h -------------------------------------------------------------------------------- /test.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/test.html -------------------------------------------------------------------------------- /test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/test.js -------------------------------------------------------------------------------- /tests/agc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/agc.pl -------------------------------------------------------------------------------- /tests/inriasuite/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/README -------------------------------------------------------------------------------- /tests/inriasuite/abolish: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/abolish -------------------------------------------------------------------------------- /tests/inriasuite/aggregate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/aggregate -------------------------------------------------------------------------------- /tests/inriasuite/and: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/and -------------------------------------------------------------------------------- /tests/inriasuite/arg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/arg -------------------------------------------------------------------------------- /tests/inriasuite/arith_diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/arith_diff -------------------------------------------------------------------------------- /tests/inriasuite/arith_eq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/arith_eq -------------------------------------------------------------------------------- /tests/inriasuite/arith_gt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/arith_gt -------------------------------------------------------------------------------- /tests/inriasuite/arith_gt=: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/arith_gt= -------------------------------------------------------------------------------- /tests/inriasuite/arith_lt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/arith_lt -------------------------------------------------------------------------------- /tests/inriasuite/arith_lt=: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/arith_lt= -------------------------------------------------------------------------------- /tests/inriasuite/asserta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/asserta -------------------------------------------------------------------------------- /tests/inriasuite/assertz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/assertz -------------------------------------------------------------------------------- /tests/inriasuite/atom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/atom -------------------------------------------------------------------------------- /tests/inriasuite/atom_chars: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/atom_chars -------------------------------------------------------------------------------- /tests/inriasuite/atom_codes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/atom_codes -------------------------------------------------------------------------------- /tests/inriasuite/atom_concat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/atom_concat -------------------------------------------------------------------------------- /tests/inriasuite/atom_length: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/atom_length -------------------------------------------------------------------------------- /tests/inriasuite/atomic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/atomic -------------------------------------------------------------------------------- /tests/inriasuite/bagof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/bagof -------------------------------------------------------------------------------- /tests/inriasuite/call: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/call -------------------------------------------------------------------------------- /tests/inriasuite/catch-and-throw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/catch-and-throw -------------------------------------------------------------------------------- /tests/inriasuite/char_code: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/char_code -------------------------------------------------------------------------------- /tests/inriasuite/clause: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/clause -------------------------------------------------------------------------------- /tests/inriasuite/compound: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/compound -------------------------------------------------------------------------------- /tests/inriasuite/copy_term: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/copy_term -------------------------------------------------------------------------------- /tests/inriasuite/countries.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/countries.pl -------------------------------------------------------------------------------- /tests/inriasuite/current_input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/current_input -------------------------------------------------------------------------------- /tests/inriasuite/current_output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/current_output -------------------------------------------------------------------------------- /tests/inriasuite/current_predicate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/current_predicate -------------------------------------------------------------------------------- /tests/inriasuite/current_prolog_flag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/current_prolog_flag -------------------------------------------------------------------------------- /tests/inriasuite/cut: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/cut -------------------------------------------------------------------------------- /tests/inriasuite/fail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/fail -------------------------------------------------------------------------------- /tests/inriasuite/file_manip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/file_manip -------------------------------------------------------------------------------- /tests/inriasuite/findall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/findall -------------------------------------------------------------------------------- /tests/inriasuite/float: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/float -------------------------------------------------------------------------------- /tests/inriasuite/format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/format -------------------------------------------------------------------------------- /tests/inriasuite/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/functor -------------------------------------------------------------------------------- /tests/inriasuite/functor-bis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/functor-bis -------------------------------------------------------------------------------- /tests/inriasuite/ground: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/ground -------------------------------------------------------------------------------- /tests/inriasuite/halt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/halt -------------------------------------------------------------------------------- /tests/inriasuite/if-then: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/if-then -------------------------------------------------------------------------------- /tests/inriasuite/if-then-else: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/if-then-else -------------------------------------------------------------------------------- /tests/inriasuite/inriasuite.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/inriasuite.js -------------------------------------------------------------------------------- /tests/inriasuite/inriasuite.obp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/inriasuite.obp -------------------------------------------------------------------------------- /tests/inriasuite/inriasuite.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/inriasuite.pl -------------------------------------------------------------------------------- /tests/inriasuite/integer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/integer -------------------------------------------------------------------------------- /tests/inriasuite/is: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/is -------------------------------------------------------------------------------- /tests/inriasuite/junk: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/inriasuite/nonvar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/nonvar -------------------------------------------------------------------------------- /tests/inriasuite/not_provable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/not_provable -------------------------------------------------------------------------------- /tests/inriasuite/not_unify: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/not_unify -------------------------------------------------------------------------------- /tests/inriasuite/nth0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/nth0 -------------------------------------------------------------------------------- /tests/inriasuite/number: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/number -------------------------------------------------------------------------------- /tests/inriasuite/number_chars: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/number_chars -------------------------------------------------------------------------------- /tests/inriasuite/number_codes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/number_codes -------------------------------------------------------------------------------- /tests/inriasuite/once: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/once -------------------------------------------------------------------------------- /tests/inriasuite/operators: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/operators -------------------------------------------------------------------------------- /tests/inriasuite/or: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/or -------------------------------------------------------------------------------- /tests/inriasuite/p.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/p.pl -------------------------------------------------------------------------------- /tests/inriasuite/rdiv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/rdiv -------------------------------------------------------------------------------- /tests/inriasuite/repeat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/repeat -------------------------------------------------------------------------------- /tests/inriasuite/retract: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/retract -------------------------------------------------------------------------------- /tests/inriasuite/set_prolog_flag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/set_prolog_flag -------------------------------------------------------------------------------- /tests/inriasuite/setof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/setof -------------------------------------------------------------------------------- /tests/inriasuite/sub_atom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/sub_atom -------------------------------------------------------------------------------- /tests/inriasuite/t: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/t -------------------------------------------------------------------------------- /tests/inriasuite/t_foo.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/t_foo.pl -------------------------------------------------------------------------------- /tests/inriasuite/term_diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/term_diff -------------------------------------------------------------------------------- /tests/inriasuite/term_eq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/term_eq -------------------------------------------------------------------------------- /tests/inriasuite/term_gt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/term_gt -------------------------------------------------------------------------------- /tests/inriasuite/term_gt=: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/term_gt= -------------------------------------------------------------------------------- /tests/inriasuite/term_lt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/term_lt -------------------------------------------------------------------------------- /tests/inriasuite/term_lt=: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/term_lt= -------------------------------------------------------------------------------- /tests/inriasuite/true: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/true -------------------------------------------------------------------------------- /tests/inriasuite/unicode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/unicode -------------------------------------------------------------------------------- /tests/inriasuite/unify: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/unify -------------------------------------------------------------------------------- /tests/inriasuite/univ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/inriasuite/univ -------------------------------------------------------------------------------- /tests/r.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/r.pl -------------------------------------------------------------------------------- /tests/t.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thetrime/proscript2/HEAD/tests/t.pl --------------------------------------------------------------------------------