├── README.md ├── blocks.txt ├── cpm └── micro-prolog.dsk ├── pictures └── Micro-PROLOG.png ├── prolog.asm ├── tape-raw ├── deftrap01.bin ├── deftrap02.bin ├── deftrap03.bin ├── deftrap04.bin ├── deftrap05.bin ├── deftrap06.bin ├── errtrap01.bin ├── errtrap02.bin ├── errtrap03.bin ├── errtrap04.bin ├── errtrap05.bin ├── errtrap06.bin ├── exptran01.bin ├── exptran02.bin ├── exptran03.bin ├── exptran04.bin ├── exptran05.bin ├── exptran06.bin ├── program01.bin ├── program02.bin ├── program03.bin ├── program04.bin ├── program05.bin ├── program06.bin ├── program07.bin ├── program08.bin ├── simple01.bin ├── simple02.bin ├── simple03.bin ├── simple04.bin ├── simple05.bin ├── simple06.bin ├── simple07.bin ├── simple08.bin ├── simple09.bin ├── simple10.bin ├── simple11.bin ├── simple12.bin ├── simple13.bin ├── simple14.bin ├── simple15.bin ├── simple16.bin ├── simple17.bin ├── simple18.bin ├── simple19.bin ├── simple20.bin ├── simple21.bin ├── simple22.bin ├── simple23.bin ├── simple24.bin ├── simple25.bin ├── simple26.bin ├── simshow01.bin ├── simshow02.bin ├── simtrace01.bin ├── simtrace02.bin ├── simtrace03.bin ├── simtrace04.bin ├── simtrace05.bin ├── simtrace06.bin ├── simtrace07.bin ├── simtrace08.bin ├── simtrace09.bin ├── simtrace10.bin ├── simtrace11.bin ├── simtrace12.bin ├── simtrace13.bin ├── spytrace01.bin ├── spytrace02.bin ├── spytrace03.bin ├── spytrace04.bin ├── told01.bin ├── told02.bin └── told03.bin ├── tapes ├── micro-PROLOG.tap └── micro-PROLOG.tzx └── utilities ├── deftrap.pl ├── errtrap.pl ├── exptran.pl ├── program.pl ├── simple.pl ├── simshow.pl ├── simtrace.pl ├── spytrace.pl └── told.pl /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/README.md -------------------------------------------------------------------------------- /blocks.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/blocks.txt -------------------------------------------------------------------------------- /cpm/micro-prolog.dsk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/cpm/micro-prolog.dsk -------------------------------------------------------------------------------- /pictures/Micro-PROLOG.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/pictures/Micro-PROLOG.png -------------------------------------------------------------------------------- /prolog.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/prolog.asm -------------------------------------------------------------------------------- /tape-raw/deftrap01.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/deftrap01.bin -------------------------------------------------------------------------------- /tape-raw/deftrap02.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/deftrap02.bin -------------------------------------------------------------------------------- /tape-raw/deftrap03.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/deftrap03.bin -------------------------------------------------------------------------------- /tape-raw/deftrap04.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/deftrap04.bin -------------------------------------------------------------------------------- /tape-raw/deftrap05.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/deftrap05.bin -------------------------------------------------------------------------------- /tape-raw/deftrap06.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/deftrap06.bin -------------------------------------------------------------------------------- /tape-raw/errtrap01.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/errtrap01.bin -------------------------------------------------------------------------------- /tape-raw/errtrap02.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/errtrap02.bin -------------------------------------------------------------------------------- /tape-raw/errtrap03.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/errtrap03.bin -------------------------------------------------------------------------------- /tape-raw/errtrap04.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/errtrap04.bin -------------------------------------------------------------------------------- /tape-raw/errtrap05.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/errtrap05.bin -------------------------------------------------------------------------------- /tape-raw/errtrap06.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/errtrap06.bin -------------------------------------------------------------------------------- /tape-raw/exptran01.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/exptran01.bin -------------------------------------------------------------------------------- /tape-raw/exptran02.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/exptran02.bin -------------------------------------------------------------------------------- /tape-raw/exptran03.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/exptran03.bin -------------------------------------------------------------------------------- /tape-raw/exptran04.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/exptran04.bin -------------------------------------------------------------------------------- /tape-raw/exptran05.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/exptran05.bin -------------------------------------------------------------------------------- /tape-raw/exptran06.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/exptran06.bin -------------------------------------------------------------------------------- /tape-raw/program01.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/program01.bin -------------------------------------------------------------------------------- /tape-raw/program02.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/program02.bin -------------------------------------------------------------------------------- /tape-raw/program03.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/program03.bin -------------------------------------------------------------------------------- /tape-raw/program04.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/program04.bin -------------------------------------------------------------------------------- /tape-raw/program05.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/program05.bin -------------------------------------------------------------------------------- /tape-raw/program06.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/program06.bin -------------------------------------------------------------------------------- /tape-raw/program07.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/program07.bin -------------------------------------------------------------------------------- /tape-raw/program08.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/program08.bin -------------------------------------------------------------------------------- /tape-raw/simple01.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple01.bin -------------------------------------------------------------------------------- /tape-raw/simple02.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple02.bin -------------------------------------------------------------------------------- /tape-raw/simple03.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple03.bin -------------------------------------------------------------------------------- /tape-raw/simple04.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple04.bin -------------------------------------------------------------------------------- /tape-raw/simple05.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple05.bin -------------------------------------------------------------------------------- /tape-raw/simple06.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple06.bin -------------------------------------------------------------------------------- /tape-raw/simple07.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple07.bin -------------------------------------------------------------------------------- /tape-raw/simple08.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple08.bin -------------------------------------------------------------------------------- /tape-raw/simple09.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple09.bin -------------------------------------------------------------------------------- /tape-raw/simple10.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple10.bin -------------------------------------------------------------------------------- /tape-raw/simple11.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple11.bin -------------------------------------------------------------------------------- /tape-raw/simple12.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple12.bin -------------------------------------------------------------------------------- /tape-raw/simple13.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple13.bin -------------------------------------------------------------------------------- /tape-raw/simple14.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple14.bin -------------------------------------------------------------------------------- /tape-raw/simple15.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple15.bin -------------------------------------------------------------------------------- /tape-raw/simple16.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple16.bin -------------------------------------------------------------------------------- /tape-raw/simple17.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple17.bin -------------------------------------------------------------------------------- /tape-raw/simple18.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple18.bin -------------------------------------------------------------------------------- /tape-raw/simple19.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple19.bin -------------------------------------------------------------------------------- /tape-raw/simple20.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple20.bin -------------------------------------------------------------------------------- /tape-raw/simple21.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple21.bin -------------------------------------------------------------------------------- /tape-raw/simple22.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple22.bin -------------------------------------------------------------------------------- /tape-raw/simple23.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple23.bin -------------------------------------------------------------------------------- /tape-raw/simple24.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple24.bin -------------------------------------------------------------------------------- /tape-raw/simple25.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple25.bin -------------------------------------------------------------------------------- /tape-raw/simple26.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simple26.bin -------------------------------------------------------------------------------- /tape-raw/simshow01.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simshow01.bin -------------------------------------------------------------------------------- /tape-raw/simshow02.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simshow02.bin -------------------------------------------------------------------------------- /tape-raw/simtrace01.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simtrace01.bin -------------------------------------------------------------------------------- /tape-raw/simtrace02.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simtrace02.bin -------------------------------------------------------------------------------- /tape-raw/simtrace03.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simtrace03.bin -------------------------------------------------------------------------------- /tape-raw/simtrace04.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simtrace04.bin -------------------------------------------------------------------------------- /tape-raw/simtrace05.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simtrace05.bin -------------------------------------------------------------------------------- /tape-raw/simtrace06.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simtrace06.bin -------------------------------------------------------------------------------- /tape-raw/simtrace07.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simtrace07.bin -------------------------------------------------------------------------------- /tape-raw/simtrace08.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simtrace08.bin -------------------------------------------------------------------------------- /tape-raw/simtrace09.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simtrace09.bin -------------------------------------------------------------------------------- /tape-raw/simtrace10.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simtrace10.bin -------------------------------------------------------------------------------- /tape-raw/simtrace11.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simtrace11.bin -------------------------------------------------------------------------------- /tape-raw/simtrace12.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simtrace12.bin -------------------------------------------------------------------------------- /tape-raw/simtrace13.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/simtrace13.bin -------------------------------------------------------------------------------- /tape-raw/spytrace01.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/spytrace01.bin -------------------------------------------------------------------------------- /tape-raw/spytrace02.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/spytrace02.bin -------------------------------------------------------------------------------- /tape-raw/spytrace03.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/spytrace03.bin -------------------------------------------------------------------------------- /tape-raw/spytrace04.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/spytrace04.bin -------------------------------------------------------------------------------- /tape-raw/told01.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/told01.bin -------------------------------------------------------------------------------- /tape-raw/told02.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/told02.bin -------------------------------------------------------------------------------- /tape-raw/told03.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tape-raw/told03.bin -------------------------------------------------------------------------------- /tapes/micro-PROLOG.tap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tapes/micro-PROLOG.tap -------------------------------------------------------------------------------- /tapes/micro-PROLOG.tzx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/tapes/micro-PROLOG.tzx -------------------------------------------------------------------------------- /utilities/deftrap.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/utilities/deftrap.pl -------------------------------------------------------------------------------- /utilities/errtrap.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/utilities/errtrap.pl -------------------------------------------------------------------------------- /utilities/exptran.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/utilities/exptran.pl -------------------------------------------------------------------------------- /utilities/program.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/utilities/program.pl -------------------------------------------------------------------------------- /utilities/simple.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/utilities/simple.pl -------------------------------------------------------------------------------- /utilities/simshow.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/utilities/simshow.pl -------------------------------------------------------------------------------- /utilities/simtrace.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/utilities/simtrace.pl -------------------------------------------------------------------------------- /utilities/spytrace.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/utilities/spytrace.pl -------------------------------------------------------------------------------- /utilities/told.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oldcompcz/micro-PROLOG/HEAD/utilities/told.pl --------------------------------------------------------------------------------