monadicus Goto Github PK

preternatural

A Prolog library of tools for Trust-Based P2P AI, NLP, ML, LDA, and comparative literature analysis; all for education.

prolog-1

Exercism exercises in Prolog.

prolog-agent

A deliberative software agent using Perl/Prolog/Emacs able to plan and execute language functions, programs and shell commands

prolog-engine

Simple expert system shell in prolog.

prolog-planning-library

Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provide PDDL parser in Prolog. In addition we present few easy planners based on it.

prolog-prime-factors

prolog-viz

The best Prolog visualizer

prologcoin

random-access-memory

Continuously read/write to memory using random offsets and lengths.

respec

A tool for creating technical documents and web standards

rosetta-bitcoin

rosetta-snarkos

scc

Strongly Connected Components of a Graph

sensors

Generic Sensor API

sharelatex

A web-based collaborative LaTeX editor

slack_prolog

Prolog Slack Client

snarkd

snarkos

A Decentralized Operating System for Private Applications

sourcecred

building an open economy for open-source. step one: give credit where it's due

spawn

Easy concurrency for Prolog

sppark

Zero-knowledge template library

sqlectron-gui

A simple and lightweight SQL client desktop with cross database and platform support.

storify

Prolog Story Generator

subhyperdb

Namespace a hyperdb into prefixed sections that may have different valueEncodings.

swi-chat

Demo SWI-Prolog HTTP based chat server

swivm

SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions

tokenize

A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.

tracery

Tracery: a story-grammar generation library for javascript

twitter_pack

Pack to access twitter api from swi prolog

unityprolog

A mostly ISO-compliant Prolog interpreter for Unity3D