Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for swi prolog
swi-prolog
x
48 search results found
Swipl Devel
⭐
863
SWI-Prolog Main development repository
Pyswip
⭐
383
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
Ape
⭐
176
Parser for Attempto Controlled English (ACE)
Xsd2json
⭐
138
Translate XML Schema into equivalent JSON Schema
Brachylog
⭐
93
A terse declarative logic programming language
Biomake
⭐
93
GNU-Make-like utility for managing builds and complex workflows
Wam_common_lisp
⭐
82
Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
Prolog_library_collection
⭐
80
A collection of Prolog libraries.
Swipl Wasm
⭐
73
Run SWI-Prolog in your browser using WebAssemply
Got Check
⭐
52
⚔️ Game of Thrones character database and family trees in Prolog
Owl Verbalizer
⭐
32
OWL verbalizer: making machine-readable knowledge also human-readable
Letswicrypt
⭐
29
Prolog HTTPS Servers
Sparqlprog
⭐
26
logic programming with SPARQL
Jurassic.pl
⭐
25
Call Julia code from Prolog
Node Swipl
⭐
23
A node.js interface to the SWI-Prolog library.
Simple Template
⭐
21
Text templating processor for SWI-Prolog.
Quickcheck
⭐
19
Randomized testing for Prolog à la QuickCheck
Prolog Target Js
⭐
18
Simple Prolog to JS transpiler
Blog Core
⭐
18
Blogging/CMS framework for SWI-Prolog.
Yesbot
⭐
18
IRC Bot Written in Prolog
Debug_adapter
⭐
15
Debug Adapter Protocol (DAP) implementation for SWI-Prolog
Prolog Markdown
⭐
15
Markdown parser for SWI-Prolog.
Proloxy
⭐
15
Prolog Reverse Proxy
Linearone
⭐
12
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Projecttartarus
⭐
12
Tartarus is a multi-agent emulator for Static as well as Mobile Agents.
Prolog_rdf
⭐
10
Advanced support for working with RDF in Prolog.
Node Swipl Stdio
⭐
10
A Node.js interface to the SWI-Prolog communicating over stdio.
Tap
⭐
10
Write TAP tests with SWI-Prolog
Logicalvision2
⭐
10
Symbolic computer vision tool
Wumpusworld Csharp
⭐
10
A Wumpus World in c# and prolog with a GUI
Neuro Floper
⭐
8
A program that allows you to translate neural networks created with Keras to fuzzy logic programs, in order to tune these networks from a given dataset.
Swi Prolog
⭐
8
SWI-Prolog Logical Programming Languages
Plammar
⭐
8
A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
Alternative Router
⭐
8
An alternative HTTP router/dispatcher for SWI-Prolog.
Wsiwn
⭐
8
What Should I Watch Next? Expert System built using Python/Flask and Prolog.
Upl
⭐
8
A ruby ffi interface to SWI-Prolog that goes both ways.
Dict Schema
⭐
7
Dict validation/conversion for SWI-Prolog.
Interpreter In Prolog
⭐
7
An interpreter capable of executing a simple scripting language from a plain-text file
Docstore
⭐
7
Document-oriented in-memory database for Prolog.
Clj Swipl7
⭐
6
A Clojure library designed to work with SWI-Prolog 7 goals directly from clojure code.
Grail
⭐
6
Grail is a theorem prover for multimodal type-logical grammars
Prolog_graphviz
⭐
6
A library for visualizing graphs in Prolog.
Buffalo
⭐
6
🐃🌳 English is fun
Identity
⭐
6
A pack for SWI-Prolog web framework to handle usernames, login, signup, and other user management
Wumpus Prolog
⭐
5
Wumpus Implementation in Prolog Language
Prolog Vdom
⭐
5
Virtual DOM implementation for SWI-Prolog
Faasshell
⭐
5
FaaS Shell is a shell for Serverless Function Workflow across multiple clouds.
Prolog Smtlib
⭐
5
An SMT-LIB parser in Prolog
1-48 of 48 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.