├── LICENSE ├── README.md ├── VERSION ├── mkretina ├── rdfsurfaces ├── beetle │ ├── README │ ├── beetle-output-scryer-prolog.s │ ├── beetle-output-tpl.s │ ├── beetle.s │ └── test ├── complex │ ├── README │ ├── complex-output-scryer-prolog.s │ ├── complex-output-tpl.s │ ├── complex.s │ └── test ├── contradiction │ ├── README │ ├── contradiction-builtin-output-scryer-prolog.s │ ├── contradiction-builtin-output-tpl.s │ ├── contradiction-builtin.s │ ├── contradiction-output-scryer-prolog.s │ ├── contradiction-output-tpl.s │ ├── contradiction.s │ ├── contradiction5-output-scryer-prolog.s │ ├── contradiction5-output-tpl.s │ ├── contradiction5.s │ └── test ├── dishes │ ├── README │ ├── dishes-output-scryer-prolog.s │ ├── dishes-output-tpl.s │ ├── dishes.s │ └── test ├── dqc │ ├── README │ ├── sdcoding-output-scryer-prolog.s │ ├── sdcoding-output-tpl.s │ ├── sdcoding.s │ └── test ├── fibonacci │ ├── README │ ├── fibonacci-output-scryer-prolog.s │ ├── fibonacci-output-tpl.s │ ├── fibonacci.s │ └── test ├── graph │ ├── README │ ├── graph-output-scryer-prolog.s │ ├── graph-output-tpl.s │ ├── graph.s │ └── test ├── peano │ ├── README │ ├── peano-output-scryer-prolog.s │ ├── peano-output-tpl.s │ ├── peano.s │ └── test ├── pi │ ├── README │ ├── pi-output-scryer-prolog.s │ ├── pi-output-tpl.s │ ├── pi.s │ └── test ├── policy │ ├── README │ ├── policy-output-scryer-prolog.s │ ├── policy-output-tpl.s │ ├── policy.s │ └── test ├── socrates │ ├── README │ ├── socrates-output-scryer-prolog.s │ ├── socrates-output-tpl.s │ ├── socrates.s │ └── test ├── turing │ ├── README │ ├── test │ ├── turing-output-scryer-prolog.s │ ├── turing-output-tpl.s │ └── turing.s ├── universal │ ├── README │ ├── test │ ├── universal-output-scryer-prolog.s │ ├── universal-output-tpl.s │ └── universal.s └── witch │ ├── README │ ├── test │ ├── witch-output-scryer-prolog.s │ ├── witch-output-tpl.s │ └── witch.s ├── retina ├── retina.pl ├── retinae └── test /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/README.md -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | 5.5.11 2 | -------------------------------------------------------------------------------- /mkretina: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/mkretina -------------------------------------------------------------------------------- /rdfsurfaces/beetle/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/beetle/README -------------------------------------------------------------------------------- /rdfsurfaces/beetle/beetle-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/beetle/beetle-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/beetle/beetle-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/beetle/beetle-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/beetle/beetle.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/beetle/beetle.s -------------------------------------------------------------------------------- /rdfsurfaces/beetle/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/beetle/test -------------------------------------------------------------------------------- /rdfsurfaces/complex/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/complex/README -------------------------------------------------------------------------------- /rdfsurfaces/complex/complex-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/complex/complex-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/complex/complex-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/complex/complex-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/complex/complex.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/complex/complex.s -------------------------------------------------------------------------------- /rdfsurfaces/complex/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/complex/test -------------------------------------------------------------------------------- /rdfsurfaces/contradiction/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/contradiction/README -------------------------------------------------------------------------------- /rdfsurfaces/contradiction/contradiction-builtin-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/contradiction/contradiction-builtin-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/contradiction/contradiction-builtin-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/contradiction/contradiction-builtin-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/contradiction/contradiction-builtin.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/contradiction/contradiction-builtin.s -------------------------------------------------------------------------------- /rdfsurfaces/contradiction/contradiction-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/contradiction/contradiction-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/contradiction/contradiction-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/contradiction/contradiction-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/contradiction/contradiction.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/contradiction/contradiction.s -------------------------------------------------------------------------------- /rdfsurfaces/contradiction/contradiction5-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/contradiction/contradiction5-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/contradiction/contradiction5-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/contradiction/contradiction5-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/contradiction/contradiction5.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/contradiction/contradiction5.s -------------------------------------------------------------------------------- /rdfsurfaces/contradiction/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/contradiction/test -------------------------------------------------------------------------------- /rdfsurfaces/dishes/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/dishes/README -------------------------------------------------------------------------------- /rdfsurfaces/dishes/dishes-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/dishes/dishes-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/dishes/dishes-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/dishes/dishes-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/dishes/dishes.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/dishes/dishes.s -------------------------------------------------------------------------------- /rdfsurfaces/dishes/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/dishes/test -------------------------------------------------------------------------------- /rdfsurfaces/dqc/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/dqc/README -------------------------------------------------------------------------------- /rdfsurfaces/dqc/sdcoding-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/dqc/sdcoding-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/dqc/sdcoding-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/dqc/sdcoding-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/dqc/sdcoding.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/dqc/sdcoding.s -------------------------------------------------------------------------------- /rdfsurfaces/dqc/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/dqc/test -------------------------------------------------------------------------------- /rdfsurfaces/fibonacci/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/fibonacci/README -------------------------------------------------------------------------------- /rdfsurfaces/fibonacci/fibonacci-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/fibonacci/fibonacci-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/fibonacci/fibonacci-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/fibonacci/fibonacci-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/fibonacci/fibonacci.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/fibonacci/fibonacci.s -------------------------------------------------------------------------------- /rdfsurfaces/fibonacci/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/fibonacci/test -------------------------------------------------------------------------------- /rdfsurfaces/graph/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/graph/README -------------------------------------------------------------------------------- /rdfsurfaces/graph/graph-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/graph/graph-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/graph/graph-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/graph/graph-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/graph/graph.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/graph/graph.s -------------------------------------------------------------------------------- /rdfsurfaces/graph/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/graph/test -------------------------------------------------------------------------------- /rdfsurfaces/peano/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/peano/README -------------------------------------------------------------------------------- /rdfsurfaces/peano/peano-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/peano/peano-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/peano/peano-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/peano/peano-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/peano/peano.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/peano/peano.s -------------------------------------------------------------------------------- /rdfsurfaces/peano/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/peano/test -------------------------------------------------------------------------------- /rdfsurfaces/pi/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/pi/README -------------------------------------------------------------------------------- /rdfsurfaces/pi/pi-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/pi/pi-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/pi/pi-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/pi/pi-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/pi/pi.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/pi/pi.s -------------------------------------------------------------------------------- /rdfsurfaces/pi/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/pi/test -------------------------------------------------------------------------------- /rdfsurfaces/policy/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/policy/README -------------------------------------------------------------------------------- /rdfsurfaces/policy/policy-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/policy/policy-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/policy/policy-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/policy/policy-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/policy/policy.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/policy/policy.s -------------------------------------------------------------------------------- /rdfsurfaces/policy/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/policy/test -------------------------------------------------------------------------------- /rdfsurfaces/socrates/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/socrates/README -------------------------------------------------------------------------------- /rdfsurfaces/socrates/socrates-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/socrates/socrates-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/socrates/socrates-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/socrates/socrates-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/socrates/socrates.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/socrates/socrates.s -------------------------------------------------------------------------------- /rdfsurfaces/socrates/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/socrates/test -------------------------------------------------------------------------------- /rdfsurfaces/turing/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/turing/README -------------------------------------------------------------------------------- /rdfsurfaces/turing/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/turing/test -------------------------------------------------------------------------------- /rdfsurfaces/turing/turing-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/turing/turing-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/turing/turing-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/turing/turing-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/turing/turing.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/turing/turing.s -------------------------------------------------------------------------------- /rdfsurfaces/universal/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/universal/README -------------------------------------------------------------------------------- /rdfsurfaces/universal/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/universal/test -------------------------------------------------------------------------------- /rdfsurfaces/universal/universal-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/universal/universal-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/universal/universal-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/universal/universal-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/universal/universal.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/universal/universal.s -------------------------------------------------------------------------------- /rdfsurfaces/witch/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/witch/README -------------------------------------------------------------------------------- /rdfsurfaces/witch/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/witch/test -------------------------------------------------------------------------------- /rdfsurfaces/witch/witch-output-scryer-prolog.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/witch/witch-output-scryer-prolog.s -------------------------------------------------------------------------------- /rdfsurfaces/witch/witch-output-tpl.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/witch/witch-output-tpl.s -------------------------------------------------------------------------------- /rdfsurfaces/witch/witch.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/rdfsurfaces/witch/witch.s -------------------------------------------------------------------------------- /retina: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/retina -------------------------------------------------------------------------------- /retina.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/retina.pl -------------------------------------------------------------------------------- /retinae: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/retinae -------------------------------------------------------------------------------- /test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/KNowledgeOnWebScale/retina/HEAD/test --------------------------------------------------------------------------------