swi-prolog topic

List swi-prolog repositories

yesbot

19
Stars
5
Forks
Watchers

IRC Bot Written in Prolog

verified publisher icon eazar001

proloxy

18
Stars
5
Forks
Watchers

Prolog Reverse Proxy

verified publisher icon triska

quickcheck

20
Stars
1
Forks
Watchers

Randomized testing for Prolog à la QuickCheck

verified publisher icon nicoabie

blog-core

19
Stars
8
Forks
Watchers

Blogging/CMS framework for SWI-Prolog.

verified publisher icon Blog-Core

WumpusWorld-CSharp

15
Stars
1
Forks
Watchers

A Wumpus World in c# and prolog with a GUI

verified publisher icon abdulzakrt

sparqlprog

45
Stars
7
Forks
Watchers

logic programming with SPARQL

verified publisher icon cmungall

prolog_rdf

15
Stars
2
Forks
Watchers

Advanced support for working with RDF in Prolog.

verified publisher icon wouterbeek

LinearOne

18
Stars
2
Forks
Watchers

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

verified publisher icon RichardMoot

ProjectTartarus

15
Stars
6
Forks
Watchers

Tartarus is a multi-agent emulator for Static as well as Mobile Agents.

verified publisher icon roboticslab-cseiitg