refreshing

LICENSE

@@ -1,6 +1,6 @@
 MIT License
 
-Copyright ©2021-present Jos De Roo
+Copyright 2021-2023 Jos De Roo, KNoWS office of IDLab, Ghent University - imec
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

README.md

@@ -1,52 +1,27 @@
 # retina
 
-Reasoning engine to infer neutral answers.
-
-## Architecture and design
-
-[Retina](https://github.com/knowledgeonwebscale/retina) is processing retina data and is itself implemented as [retina code](https://github.com/knowledgeonwebscale/retina/blob/master/retina.pl).  
-It produces retina answers supported by lemmas.  
-It uses [Scryer Prolog](https://github.com/mthom/scryer-prolog) which runs on [Rust](https://www.rust-lang.org).  
-
-### retina syntax
-
-TERM            | Examples
-----------------|---------
-IRI             | `'http://example.org/ns#Socrates'`
-VARIABLE        | `X` `_abc`
-LITERAL         | `"abc"` `1.52` `1e-18` `pi` `dt("2022-01-15",'http://www.w3.org/2001/XMLSchema#date')`
-LIST            | `[TERM,...]` `[TERM,...`\|`LIST]` `[]`
-TRIPLE          | `IRI(TERM,TERM)`
-GRAPH           | `TRIPLE,...`
-
-CLAUSE          | Examples
-----------------|---------
-ASSERTION       | `TRIPLE.` `true => GRAPH.`
-FORWARD_RULE    | `GRAPH => GRAPH.`
-QUERY           | `GRAPH => true.`
-ANSWER          | `GRAPH => true.`
-INFERENCE_FUSE  | `GRAPH => false.`
-BACKWARD_RULE   | `TRIPLE <= GRAPH.`
-
-Retina performs forward chaining for a `FORWARD_RULE` and backward chaining for a `BACKWARD_RULE`.
-
-Queries are posed and answered as `GRAPH => true.` so the answers are also queries be it with
-some parts substituted and eventually containing more variables than in the original query.
-This forms a dialogue leading to necessary and sufficient answers, supported by lemmas, so that action can take place.
-
-The builtin triples are:
-
-- `'https://knowledgeonwebscale.github.io/ns#builtin'(`[`Subject`](https://www.scryer.pl/builtins)`,[])`
-
-## Installation and test
-
-Install [Rust](https://www.rust-lang.org/tools/install) and [Scryer](https://github.com/mthom/scryer-prolog#installing-scryer-prolog) and then
+Integrated [RDF Surfaces](https://w3c-cg.github.io/rdfsurfaces/) inspired by
+[Pat Hayes](https://en.wikipedia.org/wiki/Pat_Hayes),
+[Patrick Hochstenbach](https://patrickhochstenbach.net/) and
+[EYE](https://eyereasoner.github.io/eye/).
 
+## Install [Trealla](https://github.com/trealla-prolog/trealla#building) and run
+```
+./test tpl
+git diff
+```
+## Install [Scryer](https://github.com/mthom/scryer-prolog#installing-scryer-prolog) and run
 ```
-$ git clone https://github.com/knowledgeonwebscale/retina
-$ cd retina
-$ ./test
+./test scryer-prolog
+git diff
 ```
+## Install [EYE/swipl](https://github.com/eyereasoner/eye/blob/master/INSTALL) and run
+```
+./test swipl
+git diff
+```
+
+
 
 ## Background
 

VERSION

@@ -1 +1 @@
-0.2.1
+5.1.0