luciangreen/listprologinterpreter

A Prolog Interpreter written in Prolog.

Language: Prolog - Size: 1.19 MB - Last synced at: about 4 hours ago - Pushed at: about 4 hours ago - Stars: 5 - Forks: 3

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.46 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 4 - Forks: 1

SWI-Prolog/swipl-devel

SWI-Prolog Main development repository

Language: C - Size: 97.3 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1,045 - Forks: 184

evoldoers/biomake

GNU-Make-like utility for managing builds and complex workflows

Language: Prolog - Size: 938 KB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 105 - Forks: 9

likelion/homebrew-tap

My own SWI-Prolog homebrew tap

Language: Ruby - Size: 15.1 MB - Last synced at: 14 days ago - Pushed at: 15 days ago - Stars: 1 - Forks: 0

Seeker04/plwm

An X11 window manager written in Prolog

Language: Prolog - Size: 1.07 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 1 - Forks: 0

beyond-tabs/prolog-matcher

A Prolog-based service for named entity matching and ranking, powered by SWI-Prolog and MySQL ODBC integration

Language: Prolog - Size: 8.79 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0

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: 11 days ago - Pushed at: 4 months ago - Stars: 506 - Forks: 98

bahmanm/prolog-etudes

A collection of etudes for folks new to Prolog (and sometimes experienced ones) to learn the language in a practical fashion.

Language: Prolog - Size: 70.3 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 0 - Forks: 0

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: 38 - Forks: 7

rla/dict-schema

Dict validation/conversion for SWI-Prolog.

Language: Prolog - Size: 203 KB - Last synced at: about 2 months ago - Pushed at: over 9 years ago - Stars: 10 - Forks: 0

engr-sakil/Prolog-Project

The goal of this project is to create an English-to-Bangla character translator using Prolog. The project addresses the practical problem of transliterating English (phonetic) text into Bangla characters based on the Avro phonetic keyboard layout. This system is intended to help users write Bangla text using English letters as input.

Language: Prolog - Size: 304 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

VanHakobyan/SWI-Prolog

SWI-Prolog Logical Programming Languages

Language: Prolog - Size: 14.1 MB - Last synced at: 18 days ago - Pushed at: about 7 years ago - Stars: 16 - Forks: 2

SWI-Prolog/swipl-wasm 📦

Run SWI-Prolog in your browser using WebAssemply

Language: HTML - Size: 1.06 MB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 77 - Forks: 6

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: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

Programming-Sai/Fertilizer-Recommendation-Engine-PROLOG

This project implements a Prolog-based expert system for fertilizer recommendations, helping farmers optimize agricultural practices. It uses logical inference to suggest suitable fertilizers, improving crop yield and sustainability. The backend integrates with an existing frontend to provide a complete agricultural decision-making solution.

Language: Prolog - Size: 12.2 MB - Last synced at: 21 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Eddys912/prolog-logic-exercises

Este repositorio está dedicado a ejercicios en Prolog que incluyen Hechos, Reglas y Conclusiones (HRC).

Language: Prolog - Size: 4.88 KB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

fnogatz/xsd2json

Translate XML Schema into equivalent JSON Schema

Language: Prolog - Size: 2.99 MB - Last synced at: 14 days ago - Pushed at: about 2 years ago - Stars: 153 - Forks: 27

luyluish/legato

A Prolog song recommender

Language: Prolog - Size: 28.1 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 1

royratcliffe/swi-prolog-pack-cover

GitHub action for SWI-Prolog pack installation with test coverage

Language: Prolog - Size: 6.84 KB - Last synced at: 29 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

inesiscosta/StarBattle 📦

Star Battle Logic Puzzle Solver.

Language: Prolog - Size: 478 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

wouterbeek/prolog_graphviz

A library for visualizing graphs in Prolog.

Language: Prolog - Size: 94.7 KB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 15 - Forks: 1

musicarroll/prolog

Prolog predicates to model functions, relations and binary operations.

Language: Prolog - Size: 101 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

cmungall/sparqlprog

logic programming with SPARQL

Language: Prolog - Size: 470 KB - Last synced at: 23 days ago - Pushed at: over 2 years ago - Stars: 47 - Forks: 7

eazar001/yesbot

IRC Bot Written in Prolog

Language: Prolog - Size: 445 KB - Last synced at: 1 day ago - Pushed at: almost 4 years ago - Stars: 20 - Forks: 5

at-sso/FamilyTree

Prolog logic to manage and query family tree relationships in Python.

Language: Python - Size: 34.2 KB - Last synced at: 17 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 1

JCumin/Brachylog

A terse declarative logic programming language

Language: Prolog - Size: 5.9 MB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 117 - Forks: 5

Gxrco/Prolog-Derivates

Set of defined rules for solving derivatives developed in Prolog

Language: Prolog - Size: 1000 Bytes - Last synced at: 26 days ago - Pushed at: 6 months ago - Stars: 0 - 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: about 2 months ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 1

wouterbeek/prolog_imagemagick

Prolog binding for ImageMagick (inquiring properties for image files).

Language: Prolog - Size: 29.3 KB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

wouterbeek/prolog_uriparser

Prolog binding for library uriparser (advanced URI parsing support).

Language: Prolog - Size: 29.3 KB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

rla/prolog-yamltiny

A YAML subset parser for Prolog

Language: Prolog - Size: 105 KB - Last synced at: 13 days ago - Pushed at: about 12 years ago - Stars: 6 - Forks: 1

rla/simple-template

Text templating processor for SWI-Prolog.

Language: Prolog - Size: 80.1 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 32 - Forks: 9

luciangreen/Combination-Algorithm-Writer-with-Predicates

Combination Algorithm Writer with Predicates

Language: Prolog - Size: 131 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 2

luciangreen/Combination-Algorithm-Writer-Multiple-Predicates

Writes algorithms with multiple predicates

Language: Prolog - Size: 68.4 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

wouterbeek/prolog_rdf

Advanced support for working with RDF in Prolog.

Language: Prolog - Size: 4.44 MB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 17 - Forks: 3

rahul1947/Logic-Programming

Logic Programming using Prolog.

Language: Prolog - Size: 24.8 MB - Last synced at: 12 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 4

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: about 1 month ago - Pushed at: almost 5 years ago - Stars: 5 - Forks: 7

rla/prolog-vdom

Virtual DOM implementation for SWI-Prolog

Language: Prolog - Size: 1.13 MB - Last synced at: about 2 months ago - Pushed at: almost 7 years ago - Stars: 8 - Forks: 1

nirantak/wsiwn

What Should I Watch Next? Expert System built using Python/Flask and Prolog.

Language: Prolog - Size: 305 KB - Last synced at: 15 days ago - Pushed at: almost 3 years ago - Stars: 10 - Forks: 3

fnogatz/plammar

A Prolog grammar written in Prolog, for parsing and serialising Prolog code.

Language: Prolog - Size: 263 KB - Last synced at: 20 days ago - Pushed at: over 3 years ago - Stars: 14 - Forks: 3

triska/proloxy

Prolog Reverse Proxy

Language: Prolog - Size: 76.2 KB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 19 - Forks: 6

Asma11za/AI-PlantCare-System

This project purpose a PlantCare system using SW-Prolog software. The proposed system can provide a robust platform for identifying plants diseases, recognizing pests, assessing nutrient deficiencies, and evaluating environmental stressors.

Language: Prolog - Size: 5.45 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

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: about 1 year ago - Stars: 10 - Forks: 3

Attempto/APE

Parser for Attempto Controlled English (ACE)

Language: Prolog - Size: 3.65 MB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 182 - Forks: 28

leandrojsandoval/ParadigmasDeProgramacionProlog

Ejercicios resueltos de Prolog de la materia Paradigmas de Programacion (2023).

Language: Prolog - Size: 14.6 KB - Last synced at: 25 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

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: about 1 month ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

djellemah/upl

A ruby ffi interface to SWI-Prolog that goes both ways.

Language: Ruby - Size: 106 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 9 - Forks: 3

nafanasundukukrali/CubChecker

Задача по прологу с интерфейсом про кубики и каналы

Language: Prolog - Size: 9.77 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

iMaz1n/Prolog

Prolog Programming

Language: Prolog - Size: 4.88 KB - Last synced at: 12 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

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: 9 months ago - Pushed at: about 5 years ago - Stars: 8 - Forks: 0

BonnyAD9/izu-du2

Second homework to the subject IZU

Language: Prolog - Size: 1.95 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

Z4ck404/prolog

simple examples with prolog

Language: Prolog - Size: 14.6 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 5 - Forks: 3

fnogatz/tap

Write TAP tests with SWI-Prolog

Language: Prolog - Size: 55.7 KB - Last synced at: 11 months ago - Pushed at: over 2 years ago - Stars: 11 - 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

nadaamohhamed/Prolog-Boycotting-Guide

A Prolog program that helps customers who are in solidarity with Gaza by providing alternatives to boycotting companies for their involvement in Israel's oppression of Palestinians.

Language: Prolog - Size: 85.9 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

simply-logical/prolog-book-template

A Jupyter Book template for interactive Prolog documents

Language: Prolog - Size: 2.75 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

clentfort/futoshiki

Solver/Generator for Futoshiki puzzles

Language: TypeScript - Size: 50.8 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

AAAI-DISIM-UnivAQ/prothonics-vrep Fork of agnsal/prothonics-vrep

Python 3 robot that gets sensor data from V-REP simulator and takes decisions by making queries to a SWI-Prolog program.

Language: Python - Size: 22.5 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

nicoabie/quickcheck

Randomized testing for Prolog à la QuickCheck

Language: Prolog - Size: 72.3 KB - Last synced at: 11 months ago - Pushed at: over 5 years ago - Stars: 20 - Forks: 1

cr2007/F29AI-Prolog

Prolog Part of F29AI CW1

Language: Prolog - Size: 19.5 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - 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: almost 9 years ago - Stars: 4 - Forks: 3

wouterbeek/prolog_library_collection

A collection of Prolog libraries.

Language: Prolog - Size: 8.24 MB - Last synced at: 11 months ago - Pushed at: almost 4 years ago - Stars: 83 - Forks: 13

FabSDev1/Simulating-alphabet-soup-with-SWI-prolog

Language: Java - Size: 22.3 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

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

jcwleo/prolog-problem

Language: Prolog - Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

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: 30 days ago - Pushed at: over 3 years ago - Stars: 30 - Forks: 4

avulaankith/swi-prolog

Some swi prolog files

Language: Prolog - Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

abdulmlik/simple-Prolog-Examples 📦

A simple program written in Prolog

Language: Prolog - Size: 5.86 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 2

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: almost 7 years ago - Stars: 2 - Forks: 0

alexkantas/PrologIntelligentTutoringSystems

Web application in SWI Prolog for back-end and Semantic-UI CSS framework for front-end.

Language: CSS - Size: 1.89 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

levshuster/functional-swipl-interface

A wrapper built on top of the official SWI-Prolog Python interface to iteract with prolog through python using a functional programming paradigm. This wrapper is specifically designed to facilitate programmers with no prior knowledge of logic programming to interact with Prolog

Language: Python - Size: 8.79 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - 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

likelion/dklare

Domain knowledge and reasoning language

Language: Prolog - Size: 102 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

heiheshang/pbitrix24

Bitrix24 API library

Language: Prolog - Size: 26.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

rla/prolog-markdown

Markdown parser for SWI-Prolog.

Language: Prolog - Size: 71.3 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 20 - Forks: 5

harmim/vut-flp-labs

Funkcionální a logické programování - Cvičení

Language: Haskell - Size: 691 KB - Last synced at: 22 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

taransin/tic-tac-toe_minimax

Prolog implementation of the game of tic-tac-toe with AI.

Language: Prolog - Size: 381 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

rla/alternative-router

An alternative HTTP router/dispatcher for SWI-Prolog.

Language: Prolog - Size: 24.4 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 11 - Forks: 5

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: about 2 years ago - Stars: 19 - Forks: 8

martacanirome4/sudoku_solver

Programa para resolver puzzles Sudoku 4x4 en Prolog

Language: Prolog - Size: 14.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

LucasMLago/SWI_Prolog

This repository contains a study about the Logic Programming Paradigm. Exploring more about the SWI - Prolog

Language: Prolog - Size: 2.93 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

triska/letswicrypt

Prolog HTTPS Servers

Language: Prolog - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 35 - Forks: 2

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: about 2 months ago - Pushed at: over 3 years ago - Stars: 8 - 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: 11 days ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 3

rla/node-swipl-stdio

A Node.js interface to the SWI-Prolog communicating over stdio.

Language: JavaScript - Size: 18.6 KB - Last synced at: 15 days ago - Pushed at: about 5 years ago - Stars: 10 - Forks: 4

xrofa/IST-Logica-Para-Programacao-Projecto

Instituto Superior Técnico - Projecto LP 2016/2017 (PROLOG)

Language: Prolog - Size: 266 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

CheeseTurtle/rrecurse

SWI-Prolog module for conveniently adding trace output to any recursive predicate

Language: Prolog - Size: 112 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

hagary/compensation-system

A reservation system for uni classes, modelled as a CSP and implemented using clpfd.

Language: Java - Size: 18 MB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

hagary/logic-based-agent

A logic-based AI agent.

Language: Java - Size: 7.62 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

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

MollyZen/ExpertSystemJavaProlog

Language: Java - Size: 355 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

dens-den/kymopl

Kyrgyz morpgology in Prolog

Language: Prolog - Size: 23.4 KB - Last synced at: 5 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1

micalevisk/siege-telegram-bot 📦

🤖 💬 tarefa 1(18/08) - IA 2017/02

Language: Prolog - Size: 1.07 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - 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

rla/sort-dict

Sorts list of dicts by key in the given direction.

Language: Prolog - Size: 148 KB - Last synced at: about 2 months ago - Pushed at: over 9 years ago - Stars: 2 - Forks: 0

rla/docstore

Document-oriented in-memory database for Prolog.

Language: Prolog - Size: 37.1 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 9 - Forks: 2

cacilhas/prodis 📦

Prodis is a proof-of-concept, a just-for-the-sake-of-itself Prolog-powered implementation of a Redis-like queue/list server.

Language: Prolog - Size: 30.3 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

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: 11 months ago - Pushed at: over 7 years ago - Stars: 13 - Forks: 3

rla/rdet

Runtime determinacy checker for SWI-Prolog

Language: Prolog - Size: 18.6 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 1