JanWielemaker/rocks-predicates JanWielemaker/rocks-predicates

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Prolog
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JanWielemaker/rocks-predicates
github

JanWielemaker

Reviews

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

Repository Details

Put predicates into a RocksDB database

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

triple20

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

clingo

SWI-Prolog Clingo interface
C
4
star
19

dec10

The original DEC10 Prolog library
Prolog
4
star
20

logical-loops

ECLiPSe logical loops for SWI-Prolog
Prolog
4
star
21

rdf-any

Load RDF from diverse formats
Prolog
3
star
22

matrix

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

ddebug

Declarative debugger
Prolog
3
star
24

rserve-sandbox

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

report-wfs

LIfe document describing the implementation of well founded semantics in SWI-Prolog
TeX
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