Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cogsys
Dare2Del
Demonstrator - Reasoning WebAPI
Commits
126f0bcd
Commit
126f0bcd
authored
Nov 20, 2020
by
Sebastian Seufert
Browse files
Update readme.md
parent
2019d5ea
Changes
1
Show whitespace changes
Inline
Side-by-side
readme.md
View file @
126f0bcd
###
### Prerequisites ###
Check that SWI-Prolog has version
`8.2.2`
or higher.
### Starting
You can start the server using
`run.pl`
, starting a listener on port
`4444`
with a thread pool of 5 workers.
### Overview
The basic idea is to encapsulate the core logic into a web-based API that receives and responds JSON objects:
```
mermaid
sequenceDiagram
participant Client
participant API
Client->>API: HTTP Request
API-->>Theory: Query
loop Rules & Learning
Theory-->>Theory: Irrelevancy / Explanation
end
Note right of Theory: Ipsum
Theory-->>API: Query Results
API->>Client: HTTP Response
```
### Documentation ###
Ongoing. Please check the
[
Wiki
](
https://gitlab.rz.uni-bamberg.de/cogsys/dare2del/demonstrator/-/wikis/home
)
in the meantime.
Details that might change:
*
Minor details in the JSON schemata
*
HTTP status codes
*
Error and Exception Handling
-
[
Starting the server
](
doc/startup-running.md
)
-
[
Requests
](
doc/requests.md
)
-
[
Schema
](
doc/schema.md
)
---
-
Version 0.1
\ No newline at end of file
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment