JanWielemaker/report-wfs JanWielemaker/report-wfs

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    TeX
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JanWielemaker/report-wfs
github

JanWielemaker

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

LIfe document describing the implementation of well founded semantics in SWI-Prolog

More Repositories

1

swi-prolog-wasm

SWI-Prolog ported to WebAssembly
HTML
39
star
2

chat80

Classical CHAT80 NLP system for Prolog
Prolog
19
star
3

swi-chat

Demo SWI-Prolog HTTP based chat server
Prolog
18
star
4

ffi

SWI-Prolog dynamic C interface
Prolog
16
star
5

sCASP

top-down interpreter for ASP programs with constraints
Prolog
15
star
6

todo-backend-swi-prolog

Implementation of "todo-backed"
Prolog
12
star
7

swi-erlang

Yes, Erlang in SWI-Prolog!
Prolog
12
star
8

rits

Rule-based Intelligent Tutoring System
Prolog
10
star
9

rocksdb

SWI-Prolog interface for RocksDB
C++
10
star
10

openapi

SWI-Prolog OpenAPI (Swagger) support
Prolog
9
star
11

tabling_library

Benoit Desouter's library for tabling on delimited continuations
Prolog
9
star
12

hdt

Interface to HDT
C++
7
star
13

space

SWI-Prolog space package
C++
7
star
14

wordnet

SWI-Prolog pack to load WordNet relations lazily
Prolog
5
star
15

plsheet

Prolog based spreadsheet analyzer (prototype)
Prolog
5
star
16

my-prolog-lib

Personal SWI-Prolog utilities library
Prolog
5
star
17

rocks-predicates

Put predicates into a RocksDB database
Prolog
5
star
18

triple20

XPCE/SWI-Prolog based RDF browser and editor
Prolog
4
star
19

clingo

SWI-Prolog Clingo interface
C
4
star
20

dec10

The original DEC10 Prolog library
Prolog
4
star
21

logical-loops

ECLiPSe logical loops for SWI-Prolog
Prolog
4
star
22

rdf-any

Load RDF from diverse formats
Prolog
3
star
23

matrix

Prototype proposal for adding a matrix library to SWI-Prolog
Prolog
3
star
24

ddebug

Declarative debugger
Prolog
3
star
25

rserve-sandbox

Docker spec for running Rserve in a sandbox
Dockerfile
3
star
26

GOAL

Prolog
2
star
27

rserve_client

SWI-Prolog/SWISH client for Rserve
Prolog
2
star
28

wsdl

SWI-Prolog pack WSDL
Prolog
2
star
29

bio_db

Access, use and manage big, biological datasets.
Prolog
2
star
30

smtp

SWI-Prolog smtp pack
Prolog
2
star
31

GarpSim

Prolog
1
star
32

pce_emacs_extensions

Personal extensions for SWI-Prolog's built-in editor
Prolog
1
star
33

inotify

SWI-Prolog pack for accessing the Linux inotify API
C
1
star
34

r_session

SWI-Prolog pack to talk to an R process
Prolog
1
star
35

pcache

SWI-Prolog answer caching
Prolog
1
star
36

swi-webmon

Simple script to monitor the performance of some web services
Prolog
1
star
37

prolog-http-file-upload

Test SWI-Prolog HTTP server file upload
Prolog
1
star
38

geoip

GeoIP pack for SWI-Prolog
C
1
star
39

recaptcha

SWI-Prolog pack for including recaptchas
Prolog
1
star
40

altupdate

Implement concurrent alternative update strategies that involve incremental tabling
Prolog
1
star
41

swiguard

Monitor SWI-Prolog web services
Prolog
1
star
42

profile

SWI-Prolog user profile management
Prolog
1
star
43

libssh

SWI-Prolog binding to libssh
C
1
star
44

fibers

Proof of concept for using engines to implement fibers
Prolog
1
star