-
Notifications
You must be signed in to change notification settings - Fork 2
/
Index.yaml
37 lines (34 loc) · 1.31 KB
/
Index.yaml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
posts:
- file: monotonic-rdfs.md
title: Using monotonic tabling for RDFS entailment reasoning
date: 2020-11-24
author: Jan Wielemaker
tags: [ rdfs, entailment, reasoning, tabling, monotonic ]
summary: |
Tabling can be used to define RDFS entailment reasoning
really cleanly. Monotonic tabling provides efficient updates
if RDF triples are added.
- file: solutions.md
title: SWI-Prolog Solutions b.v.
date: 2020-12-01
author: Jan Wielemaker
tags: [ commercial, training, support, consultancy, development ]
summary: |
Prolog Solutions b.v. was founded September 2020 and provides professional
services for SWI-Prolog.
- file: tabling-for-blackboard.md
title: Using tabling to reason about a changing world
date: 2020-12-24
author: Jan Wielemaker
tags: [ dynamic, tabling, incremental, transactions ]
summary: |
What options are available to reason efficiently over a changing
world?
- file: sshd.md
title: Using SSH to debug services and embedded Prolog
date: 2021-02-02
author: Jan Wielemaker
tags: [ ssh, debugging, remote ]
summary: |
How to install and use the `libssh` pack to debug and maintain
Prolog processes that are not started interactively.