Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with swi-prolog

A curated list of projects in awesome lists tagged with swi-prolog .

https://github.com/SWI-Prolog/swipl-devel

SWI-Prolog Main development repository

logic-programming prolog swi-prolog

Last synced: 04 Nov 2024

https://github.com/yuce/pyswip

PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.

artificial-intelligence expert-systems logic-programming natural-language-processing prolog python robotics swi-prolog

Last synced: 19 Dec 2024

https://github.com/Attempto/APE

Parser for Attempto Controlled English (ACE)

ace attempto cnl nlp swi-prolog

Last synced: 14 Nov 2024

https://github.com/fnogatz/xsd2json

Translate XML Schema into equivalent JSON Schema

json-schema prolog swi-prolog xml-schema

Last synced: 16 Dec 2024

https://github.com/JCumin/Brachylog

A terse declarative logic programming language

code-golf declarative golfing-language language logic-programming prolog swi-prolog

Last synced: 22 Nov 2024

https://github.com/evoldoers/biomake

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

bioinformatics gnu-make makefiles prolog swi-prolog workflows

Last synced: 17 Nov 2024

https://github.com/wouterbeek/prolog_library_collection

A collection of Prolog libraries.

prolog swi-prolog

Last synced: 14 Nov 2024

https://github.com/SWI-Prolog/swipl-wasm

Run SWI-Prolog in your browser using WebAssemply

prolog swi-prolog webassembly

Last synced: 04 Nov 2024

https://github.com/triska/letswicrypt

Prolog HTTPS Servers

https https-server prolog swi-prolog

Last synced: 25 Nov 2024

https://github.com/fnogatz/plammar

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

definite-clause-grammar parser prolog serializer swi-prolog

Last synced: 14 Dec 2024

https://github.com/vanhakobyan/swi-prolog

SWI-Prolog Logical Programming Languages

logical-programming prolog prolog-programming-language swi-prolog

Last synced: 16 Dec 2024

https://github.com/fnogatz/tap

Write TAP tests with SWI-Prolog

prolog swi-prolog tap

Last synced: 14 Dec 2024

https://github.com/rla/docstore

Document-oriented in-memory database for Prolog.

database swi-prolog

Last synced: 17 Nov 2024

https://github.com/nirantak/wsiwn

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

expert-system flask prolog python python3 react swi-prolog web-scraping

Last synced: 12 Nov 2024

https://github.com/murshidazher/restaurant-expert-system

:plate_with_cutlery: A simple expert system which recommends food menu based on user preferences.

expert-system interface-engine knowledge-base prolog prolog-interpreter swi-prolog

Last synced: 08 Nov 2024

https://github.com/rami-sabbagh/prolog-akari

A solution finder for the puzzle game known as Light-Up/Akari written in Prolog using SWI-Prolog

akari backtracking prolog swi-prolog swiprolog

Last synced: 19 Nov 2024

https://github.com/remexre/swipl-rs

Rust bindings to SWI Prolog.

bindings prolog rust swi-prolog

Last synced: 05 Nov 2024

https://github.com/rami-sabbagh/prolog-sodoku

A work-in-progress sudoku solver being written in prolog using swi-prolog.

prolog puzzle-solver sudoku sudoku-solver swi-prolog

Last synced: 19 Nov 2024

https://github.com/eazar001/irc_client

IRC client library for SWI Prolog

irc irc-client irc-protocol prolog swi-prolog

Last synced: 17 Nov 2024

https://github.com/fnogatz/alexa.pl

Alexa skill development with SWI-Prolog

ace alexa-skill attempto prolog swi-prolog

Last synced: 14 Dec 2024

https://github.com/dens-den/kymopl

Kyrgyz morpgology in Prolog

agglutinative dcg kyrgyz morphology parser prolog swi-prolog

Last synced: 11 Nov 2024

https://github.com/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

functional-programming ghci haskell logic-programming prolog swi-prolog

Last synced: 09 Nov 2024

https://github.com/avivace/mvpoli

Common Lisp and SWI-Prolog libraries to manipulate multivariate polynomials.

clisp common-lisp lisp multivariate-polynomials polynomials prolog swi-prolog swi-prolog-library university-assignment university-project

Last synced: 15 Dec 2024

https://github.com/desmosomeorg/p5-alien-swiprolog

Alien package for the SWI-Prolog Prolog interpreter

alien perl prolog swi-prolog

Last synced: 10 Nov 2024

https://github.com/at-sso/familytree

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

prolog python swi-prolog

Last synced: 11 Nov 2024

https://github.com/eazar001/pl_omdb

OMDB API access for SWI Prolog

callback omdb omdb-api pl-omdb swi-prolog

Last synced: 17 Nov 2024

https://github.com/smucclaw/l4-lp

Fully in-browser IDE and rule engine for L4 (a DSL for the law), along with various language binding libraries

clojure clojurescript dsl prolog swi-prolog term-rewriting wasm

Last synced: 18 Nov 2024

https://github.com/grahamstrickland/bratko_prolog

Exercises from "Prolog Programming for Artificial Intelligence" (4e) - Ivan Bratko

bratko logic-programming prolog swi-prolog swipl

Last synced: 11 Nov 2024

https://github.com/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.

poc prolog redis swi-prolog

Last synced: 20 Nov 2024

https://github.com/cr2007/f29ai-prolog

Prolog Part of F29AI CW1

prolog swi-prolog swipl

Last synced: 20 Nov 2024

https://github.com/rafaelbortolozo/prolog

Trabalhos desenvolvidos durante a disciplina de Programação Lógica e Funcional da 7º fase - IFC Campus Videira 2022.

racket swi-prolog

Last synced: 21 Nov 2024

https://github.com/leandrojsandoval/paradigmasdeprogramacionprolog

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

backtracking findall prolog prolog-exercises swi-prolog

Last synced: 06 Dec 2024

https://github.com/rwehresmann/prolog-programs

Puzzle solvers and other utilities developed with Prolog.

boolean-satisfability coins-problem prolog solvers swi-prolog truth-table

Last synced: 16 Nov 2024

https://github.com/thedhruvrawat/lics

Repository for Prolog Tutorial Sheets for the course CS F214: Logic in Computer Science at BITS Pilani, Pilani campus (Fall '21)

c logic-programming prolog swi-prolog

Last synced: 09 Nov 2024

https://github.com/micalevisk/ia-2017-2

:mortar_board: :books: Inteligência Artificial (ICC265) :house: :octocat: :white_check_mark:

2017 ia icomp java latex swi-prolog ufam

Last synced: 16 Dec 2024

https://github.com/danchris/pl1-ntua

Programming Languages I

c java python3 smlnj swi-prolog

Last synced: 13 Dec 2024

https://github.com/a-tokyo/help-r2d2-escape-node

🤖🔍A nodeJS application applying different search agent algorithms

ai logical nodejs prolog search swi swi-prolog

Last synced: 10 Dec 2024

https://github.com/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.

prolog swi-prolog

Last synced: 10 Nov 2024

https://github.com/harmim/vut-flp-labs

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

flp functional-programming ghc haskell logical-programming prolog swi-prolog vut vut-fit

Last synced: 13 Dec 2024

https://github.com/bahmanm/prolog-etudes

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

ci-cd circleci codecov learning-exercise prolog swi-prolog

Last synced: 15 Nov 2024