Topic: "swi-prolog"
SWI-Prolog/swipl-devel
SWI-Prolog Main development repository
Language: C - Size: 98.7 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1,078 - Forks: 193
yuce/pyswip
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
Language: Python - Size: 417 KB - Last synced at: 17 days ago - Pushed at: 6 months ago - Stars: 515 - Forks: 99
Attempto/APE
Parser for Attempto Controlled English (ACE)
Language: Prolog - Size: 3.65 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 197 - Forks: 28
fnogatz/xsd2json
Translate XML Schema into equivalent JSON Schema
Language: Prolog - Size: 2.99 MB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 154 - Forks: 28
JCumin/Brachylog
A terse declarative logic programming language
Language: Prolog - Size: 5.9 MB - Last synced at: 7 months ago - Pushed at: almost 5 years ago - Stars: 117 - Forks: 5
evoldoers/biomake
GNU-Make-like utility for managing builds and complex workflows
Language: Prolog - Size: 938 KB - Last synced at: 23 days ago - Pushed at: over 1 year ago - Stars: 106 - Forks: 9
logicmoo/wam_common_lisp
Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
Language: Common Lisp - Size: 50.5 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 96 - Forks: 8
wouterbeek/prolog_library_collection
A collection of Prolog libraries.
Language: Prolog - Size: 8.24 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 83 - Forks: 13
SWI-Prolog/swipl-wasm 📦
Run SWI-Prolog in your browser using WebAssemply
Language: HTML - Size: 1.06 MB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 77 - Forks: 6
rachelwiles/GoT-Check
:crossed_swords: Game of Thrones character database and family trees in Prolog
Language: Prolog - Size: 37.1 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 65 - Forks: 13
cmungall/sparqlprog
logic programming with SPARQL
Language: Prolog - Size: 470 KB - Last synced at: 20 days ago - Pushed at: over 2 years ago - Stars: 47 - Forks: 7
Kaljurand/owl-verbalizer
OWL verbalizer: making machine-readable knowledge also human-readable
Language: Prolog - Size: 2.57 MB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 39 - Forks: 7
triska/letswicrypt
Prolog HTTPS Servers
Language: Prolog - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 35 - Forks: 2
rla/simple-template
Text templating processor for SWI-Prolog.
Language: Prolog - Size: 80.1 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 32 - Forks: 9
rla/node-swipl Fork of jansegre/node-swipl
A node.js interface to the SWI-Prolog library.
Language: C++ - Size: 65.4 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 30 - Forks: 4
haldai/Jurassic.pl
Call Julia code from Prolog
Language: C - Size: 198 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 27 - Forks: 0
nicoabie/quickcheck
Randomized testing for Prolog à la QuickCheck
Language: Prolog - Size: 72.3 KB - Last synced at: about 2 hours ago - Pushed at: almost 6 years ago - Stars: 23 - Forks: 1
rla/prolog-markdown
Markdown parser for SWI-Prolog.
Language: Prolog - Size: 71.3 KB - Last synced at: 23 days ago - Pushed at: over 4 years ago - Stars: 21 - Forks: 5
eazar001/yesbot
IRC Bot Written in Prolog
Language: Prolog - Size: 445 KB - Last synced at: about 12 hours ago - Pushed at: about 4 years ago - Stars: 20 - Forks: 5
rla/prolog-target-js
Simple Prolog to JS transpiler
Language: JavaScript - Size: 129 KB - Last synced at: 2 months ago - Pushed at: over 12 years ago - Stars: 20 - Forks: 2
Blog-Core/blog-core
Blogging/CMS framework for SWI-Prolog.
Language: Prolog - Size: 2.05 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 19 - Forks: 8
triska/proloxy
Prolog Reverse Proxy
Language: Prolog - Size: 76.2 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 19 - Forks: 6
eshelyaron/debug_adapter
Debug Adapter Protocol (DAP) implementation for SWI-Prolog
Language: Prolog - Size: 3.31 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 18 - Forks: 2
wouterbeek/prolog_rdf
Advanced support for working with RDF in Prolog.
Language: Prolog - Size: 4.44 MB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 17 - Forks: 3
wouterbeek/prolog_graphviz
A library for visualizing graphs in Prolog.
Language: Prolog - Size: 94.7 KB - Last synced at: 10 days ago - Pushed at: 10 months ago - Stars: 16 - Forks: 1
RichardMoot/LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Language: Prolog - Size: 563 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 2
Xachap/Neuro-FLOPER
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.
Language: Python - Size: 4.73 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 16 - Forks: 3
haldai/LogicalVision2
Symbolic computer vision tool
Language: Prolog - Size: 49.6 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 16 - Forks: 11
VanHakobyan/SWI-Prolog
SWI-Prolog Logical Programming Languages
Language: Prolog - Size: 14.1 MB - Last synced at: 2 months ago - Pushed at: about 7 years ago - Stars: 16 - Forks: 2
fnogatz/plammar
A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
Language: Prolog - Size: 263 KB - Last synced at: 23 days ago - Pushed at: almost 4 years ago - Stars: 14 - Forks: 3
roboticslab-cseiitg/ProjectTartarus
Tartarus is a multi-agent emulator for Static as well as Mobile Agents.
Language: Prolog - Size: 5.38 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 13 - Forks: 6
jdswalker/Interpreter-in-Prolog
An interpreter capable of executing a simple scripting language from a plain-text file
Language: Prolog - Size: 41 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 13 - Forks: 3
fnogatz/tap
Write TAP tests with SWI-Prolog
Language: Prolog - Size: 55.7 KB - Last synced at: 23 days ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 1
rla/alternative-router
An alternative HTTP router/dispatcher for SWI-Prolog.
Language: Prolog - Size: 24.4 KB - Last synced at: 23 days ago - Pushed at: over 4 years ago - Stars: 11 - Forks: 5
mracos/asdf-swiprolog
SWI-Prolog plugin for the asdf version manager
Language: Shell - Size: 22.5 KB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 3
nirantak/wsiwn
What Should I Watch Next? Expert System built using Python/Flask and Prolog.
Language: Prolog - Size: 305 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 10 - Forks: 3
rla/docstore
Document-oriented in-memory database for Prolog.
Language: Prolog - Size: 37.1 KB - Last synced at: 23 days ago - Pushed at: over 4 years ago - Stars: 10 - Forks: 2
rla/node-swipl-stdio
A Node.js interface to the SWI-Prolog communicating over stdio.
Language: JavaScript - Size: 18.6 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 10 - Forks: 4
rla/dict-schema
Dict validation/conversion for SWI-Prolog.
Language: Prolog - Size: 203 KB - Last synced at: 3 months ago - Pushed at: almost 10 years ago - Stars: 10 - Forks: 0
djellemah/upl
A ruby ffi interface to SWI-Prolog that goes both ways.
Language: Ruby - Size: 106 KB - Last synced at: 28 days ago - Pushed at: almost 2 years ago - Stars: 9 - Forks: 3
tasos14/reactQueens
N-Queens puzzle built with react and SWI Pengines.
Language: JavaScript - Size: 5.32 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 0
brilacasck/wumpus-prolog
Wumpus Implementation in Prolog Language
Language: Prolog - Size: 2.07 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 9 - Forks: 2
wenkokke/swillprover 📦
a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog
Language: Prolog - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 1
Anniepoo/identity
A pack for SWI-Prolog web framework to handle usernames, login, signup, and other user management
Language: Prolog - Size: 150 KB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 1
NaohiroTamura/faasshell
FaaS Shell is a shell for Serverless Function Workflow across multiple clouds.
Language: Prolog - Size: 3.02 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 8 - Forks: 1
Bayons/ICon
Ejercicios y apuntes de Ingeniería del Conocimiento (Universidad de Valladolid) de 2019-20
Language: CLIPS - Size: 4.24 MB - Last synced at: 11 months ago - Pushed at: over 5 years ago - Stars: 8 - Forks: 0
jariazavalverde/prolog-smtlib
An SMT-LIB parser in Prolog
Language: Prolog - Size: 99.6 KB - Last synced at: 6 days ago - Pushed at: over 6 years ago - Stars: 8 - Forks: 1
rla/prolog-vdom
Virtual DOM implementation for SWI-Prolog
Language: Prolog - Size: 1.13 MB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 8 - Forks: 1
RichardMoot/Grail
Grail is a theorem prover for multimodal type-logical grammars
Language: Prolog - Size: 2.01 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 2
averykatko/buffalo
:water_buffalo::deciduous_tree: English is fun
Language: Prolog - Size: 164 KB - Last synced at: about 2 years ago - Pushed at: over 9 years ago - Stars: 7 - Forks: 2
Seeker04/plwm
An X11 window manager written in Prolog
Language: Prolog - Size: 1.23 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 6 - Forks: 0
feldi/clj-swipl7
A Clojure library designed to work with SWI-Prolog 7 goals directly from clojure code.
Language: Clojure - Size: 47.9 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 1
murshidazher/restaurant-expert-system
:plate_with_cutlery: A simple expert system which recommends food menu based on user preferences.
Language: Prolog - Size: 32.2 KB - Last synced at: 20 days ago - Pushed at: almost 5 years ago - Stars: 6 - Forks: 7
rla/prolog-yamltiny
A YAML subset parser for Prolog
Language: Prolog - Size: 105 KB - Last synced at: 2 months ago - Pushed at: over 12 years ago - Stars: 6 - Forks: 1
luciangreen/listprologinterpreter
A Prolog Interpreter written in Prolog.
Language: Prolog - Size: 1.2 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 3
rla/rdet
Runtime determinacy checker for SWI-Prolog
Language: Prolog - Size: 18.6 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 1
Z4ck404/prolog
simple examples with prolog
Language: Prolog - Size: 14.6 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 3
rahul1947/Logic-Programming
Logic Programming using Prolog.
Language: Prolog - Size: 24.8 MB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 4
smucclaw/l4-lp
Fully in-browser IDE and rule engine for L4 (a DSL for business rules), along with various language binding libraries
Language: Clojure - Size: 1.38 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 4 - Forks: 1
Rami-Sabbagh/prolog-akari
A solution finder for the puzzle game known as Light-Up/Akari written in Prolog using SWI-Prolog
Language: Prolog - Size: 506 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 0
wouterbeek/prolog_starter_project
A simple Prolog example project that can be used as a template to build new projects with.
Language: Prolog - Size: 4.88 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 1
dtaskoff/lambda-pro
an interpreter for lambda calculus
Language: Prolog - Size: 79.1 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 4 - Forks: 2
damjes/mellivora
Generilo de statikaj paĝoj / Static page generator
Language: Prolog - Size: 41 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 0
omoju/SWEXSYS
The Semantic Web Expert System Shell - An intelligent system platform capable of reasoning from multiple ontologies using Resource Description Framework (RDF), Rule Markup Language (RuleML), as well as other knowledge expressed as functional, structural, or causal models.
Language: Web Ontology Language - Size: 1.83 MB - Last synced at: 4 days ago - Pushed at: about 9 years ago - Stars: 4 - Forks: 3
rla/swi-pack-tests
Temporary repository for SWI-Prolog pack tests
Language: Prolog - Size: 113 KB - Last synced at: about 22 hours ago - Pushed at: about 10 years ago - Stars: 4 - Forks: 0
luyluish/legato
A Prolog song recommender
Language: Prolog - Size: 28.1 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 1
cwelt/Prolog-Othello-Game
Othello Game Application Implemented with Alpha-Beta Algorithm in SWI-Prolog's Logic Programming Language :chess_pawn:
Language: Prolog - Size: 2.45 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 6
remexre/swipl-rs
Rust bindings to SWI Prolog.
Language: Rust - Size: 8.79 KB - Last synced at: 17 days ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 1
Rami-Sabbagh/prolog-sodoku
A work-in-progress sudoku solver being written in prolog using swi-prolog.
Language: Prolog - Size: 3.91 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
brog45/prologWebScanner
SWI-Prolog code to test the security of your web application
Language: Prolog - Size: 278 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1
avivace/mvpoli
Common Lisp and SWI-Prolog libraries to manipulate multivariate polynomials.
Language: Prolog - Size: 370 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1
jariazavalverde/prolog-union-find
A union-find algorithm implementation for SWI-Prolog
Language: Prolog - Size: 64.5 KB - Last synced at: 6 days ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0
brog45/storyGenerator
Prolog program to generate a story of getting out the door in the morning
Language: Prolog - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1
dens-den/kymopl
Kyrgyz morpgology in Prolog
Language: Prolog - Size: 23.4 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 1
fnogatz/alexa.pl
Alexa skill development with SWI-Prolog
Language: Prolog - Size: 2.93 KB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 1
FabianNorbertoEscobar/prolog-haskell-ejercicios
Ejercicios sencillos de Programacion Lógica y Programación Funcional en los lenguajes Prolog y Haskell, realizados en Programación Avanzada para conocer otros paradigmas
Language: Prolog - Size: 29.3 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 3
fstiehle/owl_inspector
GUI to visualize SWI CLP(FD) programs
Language: JavaScript - Size: 531 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 1
abdulmlik/Mahram-In-Islam 📦
Projects and sample codes in Prolog.
Language: Prolog - Size: 66.4 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0
parched/swipl-sys.rs
Bindgen generated bindings to SWI-Prolog
Language: Rust - Size: 7.81 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
eazar001/irc_client
IRC client library for SWI Prolog
Language: Prolog - Size: 47.9 KB - Last synced at: 23 days ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 1
eazar001/number_to_word
Utility pack for converting integers into English words
Language: Prolog - Size: 22.5 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 1
rla/sort-dict
Sorts list of dicts by key in the given direction.
Language: Prolog - Size: 148 KB - Last synced at: 3 months ago - Pushed at: almost 10 years ago - Stars: 2 - Forks: 0
rla/placcounting
Simple double-entry financial journal
Language: Prolog - Size: 109 KB - Last synced at: 3 months ago - Pushed at: about 12 years ago - Stars: 2 - Forks: 1
likelion/homebrew-tap
My own SWI-Prolog homebrew tap
Language: Ruby - Size: 15.1 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
Valathia/Prolog-NetHack-Agent
A prolog agent that does path finding in nethack and tries to complete the dungeon with a graphical interface made in pygame
Language: Python - Size: 40.3 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
at-sso/FamilyTree
Prolog logic to manage and query family tree relationships in Python.
Language: Python - Size: 34.2 KB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 1
luciangreen/Combination-Algorithm-Writer-Multiple-Predicates
Writes algorithms with multiple predicates
Language: Prolog - Size: 68.4 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
nafanasundukukrali/CubChecker
Задача по прологу с интерфейсом про кубики и каналы
Language: Prolog - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
xpxaxsxi/dpath
An file system traversing utility. Backtracks in the directory structure.
Language: Prolog - Size: 111 KB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
DesmosomeOrg/p5-Alien-SWIProlog
Alien package for the SWI-Prolog Prolog interpreter
Language: Perl - Size: 44.9 KB - Last synced at: 4 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
likelion/dklare
Domain knowledge and reasoning language
Language: Prolog - Size: 102 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
wouterbeek/prolog_uriparser
Prolog binding for library uriparser (advanced URI parsing support).
Language: Prolog - Size: 29.3 KB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1
wouterbeek/prolog_imagemagick
Prolog binding for ImageMagick (inquiring properties for image files).
Language: Prolog - Size: 29.3 KB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1
mahmoudjobeel1/E-Tourism-Recommendation-System
this is a program that recommends offers for customers based on a given database and decides which offer is suitable for them
Language: Prolog - Size: 221 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 1
nsgonzalez/progo-bird
A Prolog agent that plays a custom version of Flappy Bird
Language: Go - Size: 28.7 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
AnneEjsing/Route-Planning-Prolog
Exam project in Programming Paradigms Fall 2019. This project implements route planning in the logic programming language Prolog. The implementation is SWI-Prolog.
Language: Prolog - Size: 2.93 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1
rand-asswad/taquin
Language: Prolog - Size: 12.2 MB - Last synced at: 4 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1
itsMaz1n/Prolog
Prolog Programming
Language: Prolog - Size: 4.88 KB - Last synced at: 1 day ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
jcoo092/cP-Systems-TSP 📦
The accompanying code for our paper on solving the Travelling Salesman Problem in cP Systems
Language: Erlang - Size: 28.3 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
zhilyaev/Definite-Clause-Russian-Grammars
Синтаксический разбор предложений русского языка. С помощью Prolog.
Language: Prolog - Size: 4.88 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
