├── .gitignore ├── CHANGELOG ├── README ├── README.Christophe_Rhodes ├── README.html ├── TODO ├── auxfns.lisp ├── clos.lisp ├── cmacsyma.lisp ├── compile1.lisp ├── compile2.lisp ├── compile3.lisp ├── compopt.lisp ├── doc └── paiprolog.texinfo ├── edge-tab.lisp ├── eliza-pm.lisp ├── eliza.lisp ├── eliza1.lisp ├── examples.lisp ├── gps-srch.lisp ├── gps.lisp ├── gps1.lisp ├── grammar.lisp ├── interp1.lisp ├── interp2.lisp ├── interp3.lisp ├── intro.lisp ├── krep.lisp ├── krep1.lisp ├── krep2.lisp ├── lexicon.lisp ├── license.html ├── loop.lisp ├── macsyma.lisp ├── macsymar.lisp ├── mycin-r.lisp ├── mycin.lisp ├── othello.lisp ├── othello2.lisp ├── overview.lisp ├── package.lisp ├── paiprolog.asd ├── patmatch.lisp ├── prolog-ext.lisp ├── prolog.lisp ├── prolog1.lisp ├── prologc.lisp ├── prologc1.lisp ├── prologc2.lisp ├── prologcp.lisp ├── search.lisp ├── simple.lisp ├── student.lisp ├── syntax1.lisp ├── syntax2.lisp ├── syntax3.lisp ├── test-paiprolog.lisp ├── tests ├── inriasuite │ ├── README │ ├── 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 │ ├── inriasuite.obp │ ├── inriasuite.pl │ ├── integer │ ├── is │ ├── junk │ ├── nonvar │ ├── not_provable │ ├── not_unify │ ├── number │ ├── number_chars │ ├── number_codes │ ├── once │ ├── or │ ├── 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 │ └── unify └── vanilla │ ├── README │ ├── als_v.pro │ ├── als_v1.pl │ ├── byteio.tmp │ ├── charconv.tmp │ ├── charfile.txt │ ├── chario.tmp │ ├── codeio.tmp │ ├── db.pl │ ├── direct2.pl │ ├── gnuprolog_v.pl │ ├── include.pl │ ├── notes │ ├── opfile.tmp │ ├── out.tmp │ ├── outchar.txt │ ├── peekbyte.bin │ ├── peekchar.txt │ ├── peekfile.bin │ ├── peekfile.txt │ ├── sec74.pl │ ├── sec78.pl │ ├── sec810.pl │ ├── sec811.pl │ ├── sec812.pl │ ├── sec813.pl │ ├── sec814.pl │ ├── sec815.pl │ ├── sec816.pl │ ├── sec817.pl │ ├── sec82.pl │ ├── sec83.pl │ ├── sec84.pl │ ├── sec85.pl │ ├── sec86.pl │ ├── sec87.pl │ ├── sec88.pl │ ├── sec89.pl │ ├── sec91.pl │ ├── sec92.pl │ ├── sec93.pl │ ├── sec94.pl │ ├── termfile.txt │ ├── termio.tmp │ ├── utils_so.pl │ ├── validn.out │ ├── validn.txt │ ├── van1.pl │ └── vanilla.pl ├── tutor.lisp ├── unifgram-package.lisp ├── unifgram.asd ├── unifgram.lisp ├── unify.lisp └── waltz.lisp /.gitignore: -------------------------------------------------------------------------------- 1 | *~ 2 | *.fasl 3 | -------------------------------------------------------------------------------- /CHANGELOG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/CHANGELOG -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/README -------------------------------------------------------------------------------- /README.Christophe_Rhodes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/README.Christophe_Rhodes -------------------------------------------------------------------------------- /README.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/README.html -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/TODO -------------------------------------------------------------------------------- /auxfns.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/auxfns.lisp -------------------------------------------------------------------------------- /clos.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/clos.lisp -------------------------------------------------------------------------------- /cmacsyma.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/cmacsyma.lisp -------------------------------------------------------------------------------- /compile1.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/compile1.lisp -------------------------------------------------------------------------------- /compile2.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/compile2.lisp -------------------------------------------------------------------------------- /compile3.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/compile3.lisp -------------------------------------------------------------------------------- /compopt.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/compopt.lisp -------------------------------------------------------------------------------- /doc/paiprolog.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/doc/paiprolog.texinfo -------------------------------------------------------------------------------- /edge-tab.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/edge-tab.lisp -------------------------------------------------------------------------------- /eliza-pm.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/eliza-pm.lisp -------------------------------------------------------------------------------- /eliza.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/eliza.lisp -------------------------------------------------------------------------------- /eliza1.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/eliza1.lisp -------------------------------------------------------------------------------- /examples.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/examples.lisp -------------------------------------------------------------------------------- /gps-srch.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/gps-srch.lisp -------------------------------------------------------------------------------- /gps.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/gps.lisp -------------------------------------------------------------------------------- /gps1.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/gps1.lisp -------------------------------------------------------------------------------- /grammar.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/grammar.lisp -------------------------------------------------------------------------------- /interp1.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/interp1.lisp -------------------------------------------------------------------------------- /interp2.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/interp2.lisp -------------------------------------------------------------------------------- /interp3.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/interp3.lisp -------------------------------------------------------------------------------- /intro.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/intro.lisp -------------------------------------------------------------------------------- /krep.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/krep.lisp -------------------------------------------------------------------------------- /krep1.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/krep1.lisp -------------------------------------------------------------------------------- /krep2.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/krep2.lisp -------------------------------------------------------------------------------- /lexicon.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/lexicon.lisp -------------------------------------------------------------------------------- /license.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/license.html -------------------------------------------------------------------------------- /loop.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/loop.lisp -------------------------------------------------------------------------------- /macsyma.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/macsyma.lisp -------------------------------------------------------------------------------- /macsymar.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/macsymar.lisp -------------------------------------------------------------------------------- /mycin-r.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/mycin-r.lisp -------------------------------------------------------------------------------- /mycin.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/mycin.lisp -------------------------------------------------------------------------------- /othello.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/othello.lisp -------------------------------------------------------------------------------- /othello2.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/othello2.lisp -------------------------------------------------------------------------------- /overview.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/overview.lisp -------------------------------------------------------------------------------- /package.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/package.lisp -------------------------------------------------------------------------------- /paiprolog.asd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/paiprolog.asd -------------------------------------------------------------------------------- /patmatch.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/patmatch.lisp -------------------------------------------------------------------------------- /prolog-ext.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/prolog-ext.lisp -------------------------------------------------------------------------------- /prolog.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/prolog.lisp -------------------------------------------------------------------------------- /prolog1.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/prolog1.lisp -------------------------------------------------------------------------------- /prologc.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/prologc.lisp -------------------------------------------------------------------------------- /prologc1.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/prologc1.lisp -------------------------------------------------------------------------------- /prologc2.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/prologc2.lisp -------------------------------------------------------------------------------- /prologcp.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/prologcp.lisp -------------------------------------------------------------------------------- /search.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/search.lisp -------------------------------------------------------------------------------- /simple.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/simple.lisp -------------------------------------------------------------------------------- /student.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/student.lisp -------------------------------------------------------------------------------- /syntax1.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/syntax1.lisp -------------------------------------------------------------------------------- /syntax2.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/syntax2.lisp -------------------------------------------------------------------------------- /syntax3.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/syntax3.lisp -------------------------------------------------------------------------------- /test-paiprolog.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/test-paiprolog.lisp -------------------------------------------------------------------------------- /tests/inriasuite/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/README -------------------------------------------------------------------------------- /tests/inriasuite/abolish: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/abolish -------------------------------------------------------------------------------- /tests/inriasuite/and: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/and -------------------------------------------------------------------------------- /tests/inriasuite/arg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/arg -------------------------------------------------------------------------------- /tests/inriasuite/arith_diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/arith_diff -------------------------------------------------------------------------------- /tests/inriasuite/arith_eq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/arith_eq -------------------------------------------------------------------------------- /tests/inriasuite/arith_gt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/arith_gt -------------------------------------------------------------------------------- /tests/inriasuite/arith_gt=: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/arith_gt= -------------------------------------------------------------------------------- /tests/inriasuite/arith_lt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/arith_lt -------------------------------------------------------------------------------- /tests/inriasuite/arith_lt=: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/arith_lt= -------------------------------------------------------------------------------- /tests/inriasuite/asserta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/asserta -------------------------------------------------------------------------------- /tests/inriasuite/assertz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/assertz -------------------------------------------------------------------------------- /tests/inriasuite/atom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/atom -------------------------------------------------------------------------------- /tests/inriasuite/atom_chars: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/atom_chars -------------------------------------------------------------------------------- /tests/inriasuite/atom_codes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/atom_codes -------------------------------------------------------------------------------- /tests/inriasuite/atom_concat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/atom_concat -------------------------------------------------------------------------------- /tests/inriasuite/atom_length: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/atom_length -------------------------------------------------------------------------------- /tests/inriasuite/atomic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/atomic -------------------------------------------------------------------------------- /tests/inriasuite/bagof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/bagof -------------------------------------------------------------------------------- /tests/inriasuite/call: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/call -------------------------------------------------------------------------------- /tests/inriasuite/catch-and-throw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/catch-and-throw -------------------------------------------------------------------------------- /tests/inriasuite/char_code: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/char_code -------------------------------------------------------------------------------- /tests/inriasuite/clause: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/clause -------------------------------------------------------------------------------- /tests/inriasuite/compound: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/compound -------------------------------------------------------------------------------- /tests/inriasuite/copy_term: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/copy_term -------------------------------------------------------------------------------- /tests/inriasuite/current_input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/current_input -------------------------------------------------------------------------------- /tests/inriasuite/current_output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/current_output -------------------------------------------------------------------------------- /tests/inriasuite/current_predicate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/current_predicate -------------------------------------------------------------------------------- /tests/inriasuite/current_prolog_flag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/current_prolog_flag -------------------------------------------------------------------------------- /tests/inriasuite/cut: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/cut -------------------------------------------------------------------------------- /tests/inriasuite/fail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/fail -------------------------------------------------------------------------------- /tests/inriasuite/file_manip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/file_manip -------------------------------------------------------------------------------- /tests/inriasuite/findall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/findall -------------------------------------------------------------------------------- /tests/inriasuite/float: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/float -------------------------------------------------------------------------------- /tests/inriasuite/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/functor -------------------------------------------------------------------------------- /tests/inriasuite/functor-bis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/functor-bis -------------------------------------------------------------------------------- /tests/inriasuite/halt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/halt -------------------------------------------------------------------------------- /tests/inriasuite/if-then: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/if-then -------------------------------------------------------------------------------- /tests/inriasuite/if-then-else: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/if-then-else -------------------------------------------------------------------------------- /tests/inriasuite/inriasuite.obp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/inriasuite.obp -------------------------------------------------------------------------------- /tests/inriasuite/inriasuite.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/inriasuite.pl -------------------------------------------------------------------------------- /tests/inriasuite/integer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/integer -------------------------------------------------------------------------------- /tests/inriasuite/is: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/is -------------------------------------------------------------------------------- /tests/inriasuite/junk: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/inriasuite/nonvar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/nonvar -------------------------------------------------------------------------------- /tests/inriasuite/not_provable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/not_provable -------------------------------------------------------------------------------- /tests/inriasuite/not_unify: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/not_unify -------------------------------------------------------------------------------- /tests/inriasuite/number: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/number -------------------------------------------------------------------------------- /tests/inriasuite/number_chars: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/number_chars -------------------------------------------------------------------------------- /tests/inriasuite/number_codes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/number_codes -------------------------------------------------------------------------------- /tests/inriasuite/once: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/once -------------------------------------------------------------------------------- /tests/inriasuite/or: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/or -------------------------------------------------------------------------------- /tests/inriasuite/repeat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/repeat -------------------------------------------------------------------------------- /tests/inriasuite/retract: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/retract -------------------------------------------------------------------------------- /tests/inriasuite/set_prolog_flag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/set_prolog_flag -------------------------------------------------------------------------------- /tests/inriasuite/setof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/setof -------------------------------------------------------------------------------- /tests/inriasuite/sub_atom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/sub_atom -------------------------------------------------------------------------------- /tests/inriasuite/t: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/t -------------------------------------------------------------------------------- /tests/inriasuite/t_foo.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/t_foo.pl -------------------------------------------------------------------------------- /tests/inriasuite/term_diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/term_diff -------------------------------------------------------------------------------- /tests/inriasuite/term_eq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/term_eq -------------------------------------------------------------------------------- /tests/inriasuite/term_gt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/term_gt -------------------------------------------------------------------------------- /tests/inriasuite/term_gt=: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/term_gt= -------------------------------------------------------------------------------- /tests/inriasuite/term_lt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/term_lt -------------------------------------------------------------------------------- /tests/inriasuite/term_lt=: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/term_lt= -------------------------------------------------------------------------------- /tests/inriasuite/true: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/true -------------------------------------------------------------------------------- /tests/inriasuite/unify: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/inriasuite/unify -------------------------------------------------------------------------------- /tests/vanilla/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/README -------------------------------------------------------------------------------- /tests/vanilla/als_v.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/als_v.pro -------------------------------------------------------------------------------- /tests/vanilla/als_v1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/als_v1.pl -------------------------------------------------------------------------------- /tests/vanilla/byteio.tmp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/vanilla/charconv.tmp: -------------------------------------------------------------------------------- 1 | a. 2 | -------------------------------------------------------------------------------- /tests/vanilla/charfile.txt: -------------------------------------------------------------------------------- 1 | abcde 2 | fghij 3 | klmnop 4 | qrst 5 | -------------------------------------------------------------------------------- /tests/vanilla/chario.tmp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/vanilla/codeio.tmp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/vanilla/db.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/db.pl -------------------------------------------------------------------------------- /tests/vanilla/direct2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/direct2.pl -------------------------------------------------------------------------------- /tests/vanilla/gnuprolog_v.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/gnuprolog_v.pl -------------------------------------------------------------------------------- /tests/vanilla/include.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/include.pl -------------------------------------------------------------------------------- /tests/vanilla/notes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/notes -------------------------------------------------------------------------------- /tests/vanilla/opfile.tmp: -------------------------------------------------------------------------------- 1 | a because b . -------------------------------------------------------------------------------- /tests/vanilla/out.tmp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/vanilla/outchar.txt: -------------------------------------------------------------------------------- 1 | a -------------------------------------------------------------------------------- /tests/vanilla/peekbyte.bin: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/vanilla/peekchar.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/vanilla/peekfile.bin: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/vanilla/peekfile.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/vanilla/sec74.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec74.pl -------------------------------------------------------------------------------- /tests/vanilla/sec78.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec78.pl -------------------------------------------------------------------------------- /tests/vanilla/sec810.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec810.pl -------------------------------------------------------------------------------- /tests/vanilla/sec811.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec811.pl -------------------------------------------------------------------------------- /tests/vanilla/sec812.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec812.pl -------------------------------------------------------------------------------- /tests/vanilla/sec813.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec813.pl -------------------------------------------------------------------------------- /tests/vanilla/sec814.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec814.pl -------------------------------------------------------------------------------- /tests/vanilla/sec815.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec815.pl -------------------------------------------------------------------------------- /tests/vanilla/sec816.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec816.pl -------------------------------------------------------------------------------- /tests/vanilla/sec817.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec817.pl -------------------------------------------------------------------------------- /tests/vanilla/sec82.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec82.pl -------------------------------------------------------------------------------- /tests/vanilla/sec83.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec83.pl -------------------------------------------------------------------------------- /tests/vanilla/sec84.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec84.pl -------------------------------------------------------------------------------- /tests/vanilla/sec85.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec85.pl -------------------------------------------------------------------------------- /tests/vanilla/sec86.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec86.pl -------------------------------------------------------------------------------- /tests/vanilla/sec87.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec87.pl -------------------------------------------------------------------------------- /tests/vanilla/sec88.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec88.pl -------------------------------------------------------------------------------- /tests/vanilla/sec89.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec89.pl -------------------------------------------------------------------------------- /tests/vanilla/sec91.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec91.pl -------------------------------------------------------------------------------- /tests/vanilla/sec92.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec92.pl -------------------------------------------------------------------------------- /tests/vanilla/sec93.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec93.pl -------------------------------------------------------------------------------- /tests/vanilla/sec94.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/sec94.pl -------------------------------------------------------------------------------- /tests/vanilla/termfile.txt: -------------------------------------------------------------------------------- 1 | abcdef. 'Now is the time'. 2 | program(logic + control). 3 | -------------------------------------------------------------------------------- /tests/vanilla/termio.tmp: -------------------------------------------------------------------------------- 1 | +(3,_1100). -------------------------------------------------------------------------------- /tests/vanilla/utils_so.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/utils_so.pl -------------------------------------------------------------------------------- /tests/vanilla/validn.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/validn.out -------------------------------------------------------------------------------- /tests/vanilla/validn.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/validn.txt -------------------------------------------------------------------------------- /tests/vanilla/van1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/van1.pl -------------------------------------------------------------------------------- /tests/vanilla/vanilla.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tests/vanilla/vanilla.pl -------------------------------------------------------------------------------- /tutor.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/tutor.lisp -------------------------------------------------------------------------------- /unifgram-package.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/unifgram-package.lisp -------------------------------------------------------------------------------- /unifgram.asd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/unifgram.asd -------------------------------------------------------------------------------- /unifgram.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/unifgram.lisp -------------------------------------------------------------------------------- /unify.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/unify.lisp -------------------------------------------------------------------------------- /waltz.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quek/paiprolog/HEAD/waltz.lisp --------------------------------------------------------------------------------