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 prolog

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

https://github.com/evgskv/logica

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

bigquery datalog language logic-programming logica postgresql presto prolog prolog-implementation sql sqlite trino

Last synced: 17 Dec 2024

https://github.com/EvgSkv/logica

Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.

bigquery datalog language logic-programming logica postgresql presto prolog prolog-implementation sql sqlite trino

Last synced: 27 Oct 2024

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/Anniepoo/prolog-examples

Some simple examples for new Prolog programmers

family-tree prolog

Last synced: 04 Nov 2024

https://github.com/ichiban/prolog

The only reasonable scripting engine for Go.

go golang interpreter logic-programming prolog

Last synced: 26 Oct 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/program-spiritual/kongfuofarchitect

(Updating!) Architect's Kung Fu tutorial collection Article collection contains paradigm programming microservices essential algorithms Security attack Assembly Crawler Reverse penetration test...etc.

architect architecture-guidelines c c-sharp csharp erlang go golang java javascript lisp nodejs object-c perl prolog python rust scala swift

Last synced: 21 Dec 2024

https://github.com/ML-KULeuven/problog

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

aproblog dtproblog lfi-problog probabilistic probabilistic-inference probabilistic-logic-programming probabilistic-programming problog prolog

Last synced: 31 Oct 2024

https://github.com/dragonwasrobot/learn-prolog-now-exercises

My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.

prolog

Last synced: 24 Nov 2024

https://github.com/trealla-prolog/trealla

A compact, efficient Prolog interpreter written in plain-old C.

c iso-prolog-standard prolog prolog-implementation prolog-interpreter prolog-programming-language

Last synced: 04 Nov 2024

https://github.com/c-cube/datalog

An in-memory datalog implementation for OCaml.

datalog logic-programming memoization ocaml prolog

Last synced: 17 Dec 2024

https://github.com/superdisk/tar.pl

tar creator+extractor in ~100 lines of prolog

logic-programming prolog tar unix

Last synced: 01 Dec 2024

https://github.com/SuperDisk/tar.pl

tar creator+extractor in ~100 lines of prolog

logic-programming prolog tar unix

Last synced: 21 Nov 2024

https://github.com/ciao-lang/ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

bytecode ciao-prolog clp compiler constraints interpreter iso-prolog-standard logic logic-programming programming-language prolog prolog-compiler prolog-implementation prolog-interpreter prolog-programming-language virtual-machine

Last synced: 07 Nov 2024

https://github.com/triska/clpz

Constraint Logic Programming over Integers

clp constraint-programming constraints integer-arithmetic prolog sicstus-prolog

Last synced: 25 Nov 2024

https://github.com/ztangent/julog.jl

A Julia package for Prolog-style logic programming.

first-order-logic fol julia logic logic-programming prolog

Last synced: 19 Dec 2024

https://github.com/complexdb/zincbase

A state of the art knowledge base

graph-embedding knowledge-base knowledge-graph prolog

Last synced: 04 Dec 2024

https://github.com/triska/clpfd

Constraint Logic Programming over Finite Domains

clp constraint-programming constraints integer-arithmetic prolog teaching

Last synced: 25 Nov 2024

https://github.com/gooofy/zamia-ai

Free and open source A.I. system based on Python, TensorFlow and Prolog.

artificial-intelligence knowledgebase natural-language-processing prolog python semantic-web tensorflow

Last synced: 16 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/triska/lisprolog

Interpreter for a simple Lisp. Written in Prolog.

interpreter lisp prolog

Last synced: 25 Nov 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/AmziLS/AmziProlog

Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.

eclipse-plugin ide logic-programming prolog virtual-machine

Last synced: 13 Nov 2024

https://github.com/ekzhang/ukanren-rs

Rust implementation of µKanren, a featherweight relational programming language.

functional-programming language logic-programming microkanren minikanren prolog rust

Last synced: 17 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/microsoft/guan

Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.

csharp guan library linux logic-programming netstandard20 prolog windows

Last synced: 22 Dec 2024

https://github.com/alhassy/prologcheatsheet

Basics of relational programming with Prolog —PROgramming in LOGic ^_^

cheatsheet emacs html pdf prolog relational-programming

Last synced: 28 Oct 2024

https://github.com/jaalonso/lecturas_glc

Readings on computational logic, interactive theorem proving and functional programming.

coq functional-programming haskell isabelle-hol itp leanprover logic logic-programming prolog

Last synced: 18 Dec 2024

https://github.com/guregu/php

Prolog Home Page

cgi prolog www

Last synced: 29 Nov 2024

https://github.com/philzook58/egglog0

Datalog + Egg = Good

prolog rust theorem-prover

Last synced: 11 Nov 2024

https://github.com/rubycocos/cocos

cocos (code commons) - auto-include quick-starter prelude & prolog

cocos commons gems prelude prolog ruby

Last synced: 21 Dec 2024

https://github.com/lps-js/lps.js

Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.

ai artificial-intelligence interpreter javascript language languages library logic lps production-systems programming-language prolog

Last synced: 23 Nov 2024

https://github.com/maebert/prolog_puzzles

Prolog puzzles for fun and profit (mostly fun)

cognitive-science exercise prolog prolog-puzzles puzzle

Last synced: 05 Nov 2024

https://github.com/ice1000/learn

:books: codes written while learning them.

android c clojure cpp csharp dart go groovy haskell java jni kotlin learning prolog python

Last synced: 27 Oct 2024

https://github.com/twolodzko/prolog-rs

Minimal Prolog implemented in Rust

prolog prolog-implementation prolog-interpreter rust rust-lang

Last synced: 12 Oct 2024

https://github.com/triska/ediprolog

Emacs Does Interactive Prolog

emacs emacs-lisp prolog prolog-process

Last synced: 25 Nov 2024

https://github.com/dirkschumacher/logician

🖖 Prolog-style Logic Programming in pure R

datalog logic-programming prolog r

Last synced: 19 Nov 2024

https://github.com/triska/letswicrypt

Prolog HTTPS Servers

https https-server prolog swi-prolog

Last synced: 25 Nov 2024

https://github.com/guregu/trealla-js

Trealla Prolog for the web

javascript logic-programming prolog webassembly

Last synced: 31 Oct 2024

https://github.com/raydac/jprol

Yet another Java based Prolog engine

engine gui-editor java prolog prolog-engine prolog-programming-language

Last synced: 15 Nov 2024

https://github.com/kuba--/ut

Yet Another Efficient Unification Algorithm

logic-programming prolog unification unification-algorithm

Last synced: 15 Nov 2024

https://github.com/ana06/ai

Several projects for the Artificial Intelligence course, with topics such as Recommender and Rule-based Systems, Ontologies and Natural Language Processing.

artificial-intelligence jess natural-language-processing ontology prolog protege recommender-system ucm

Last synced: 06 Dec 2024

https://github.com/triska/simsttab

Simple timetabling engine for schools

clp constraint-programming prolog school timetable timetabling-engine

Last synced: 25 Nov 2024

https://github.com/triska/bitcoinolog

Reason about Bitcoin addresses with Prolog

bitcoin bitcoin-wallet cryptocurrency elliptic-curves offline-capable prolog

Last synced: 11 Oct 2024

https://github.com/gooofy/zamia-prolog

Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.

declarative-language embeddable logic-programming prolog prolog-dialect python

Last synced: 16 Nov 2024

https://github.com/xieyuheng/logic-db

Embedding a Prolog-like logic programming language in JavasScript and TypeScript.

logic-programming prolog typescript

Last synced: 17 Dec 2024

https://github.com/pchampio/othello-prolog

:scroll: A fully functional Othello (Reversi) game, with several AIs, made in prolog for swipl.

alpha-beta artificial-intelligence board-game logic-programming minmax othello-game prolog student-project swipl univ-lemans

Last synced: 16 Dec 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/triska/trs

Reason about Term Rewriting Systems

prolog term-rewriting trs

Last synced: 25 Nov 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/guregu/predicates

various predicates for ichiban/prolog

dynamodb go prolog

Last synced: 14 Oct 2024

https://github.com/ducasse/soul

Rescuing the SOUL great logic meta programming language

logic-programming pharo prolog unification

Last synced: 27 Oct 2024

https://github.com/RustemB/profetch

🦉 System Information Fetcher Written in GNU/Prolog

fetch neofetch prolog

Last synced: 15 Nov 2024

https://github.com/ljos/ob-prolog

Org babel functions for prolog evaluation.

emacs-lisp literate-programming org-mode prolog

Last synced: 14 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/fnogatz/dcg4pt

Extend Definite Clause Grammars for Prolog by the corresponding parse tree

definite-clause-grammar grammar parsing prolog

Last synced: 14 Dec 2024

https://github.com/giannisdaras/ntua-lambda

This repository expects to be a place to find code/resources/examples and more, related to the NTUA lambda flow.

algorithms databases ntua prolog sml

Last synced: 19 Dec 2024

https://github.com/npaun/chemlogic

A logic programming computer chemistry system

chemistry clp cwsf dcg education prolog

Last synced: 16 Dec 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/jsakamoto/prolog-on-browser

This is the Prolog interactive interpreter running on a Web browser!

blazor blazor-client-side blazor-wasm blazor-web-assembly blazor-webassembly prolog prolog-interpreter

Last synced: 15 Nov 2024

https://github.com/nohomey/logic-programming-2019-2020

Teaching assist materials for Logic programming in winter and summer semesters of 2019-2020

logic-programming prolog teaching-assistant teaching-materials

Last synced: 13 Nov 2024

https://github.com/matsubara0507/iprolog

Prolog kernel for Jupyter/IPython Notebook

jupyter-kernels prolog

Last synced: 19 Oct 2024

https://github.com/zhzluke96/prolog-tut-cn

📚prolog chinese tutorial. https://zhzluke96.github.io/prolog-tut-cn/

chinese logic-programming prolog tutorial

Last synced: 18 Dec 2024

https://github.com/bakaq/constrained.pl

Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.

prolog

Last synced: 17 Nov 2024

https://github.com/giovanniberti/logicamente

A first-order logic theorem prover with SLD resolution.

first-order-logic logic prolog python sld

Last synced: 10 Dec 2024

https://github.com/remexre/wam-tutorial-reconstruction

A Rust implementation of the machines in "Warren's Abstract Machine: A Tutorial Reconstruction."

prolog rust warren-abstract-machine

Last synced: 05 Nov 2024

https://github.com/fnogatz/date_time

Logical arithmetic on dates and times in Prolog

date prolog time

Last synced: 14 Dec 2024

https://github.com/totbwf/mlogic

An implementation of a mini-ML written entirely in prolog

memes ml prolog

Last synced: 16 Nov 2024

https://github.com/benhuds/wangs-algorithm

Propositional theorem prover using Wang's algorithm

prolog propositional-logic theorem-prover

Last synced: 16 Nov 2024

https://github.com/triska/presprover

Prove formulas of Presburger Arithmetic

presburger-arithmetic prolog theorem-proving

Last synced: 25 Nov 2024

https://github.com/guregu/pengine

pengines (SWI Prolog) client for Go

go logic-programming pengines prolog swipl

Last synced: 14 Oct 2024

https://github.com/georgesittas/jobshop-scheduling

Optimal ECLiPSe Prolog job-shop scheduling solver

csp jobshop optimization-problem prolog

Last synced: 23 Nov 2024

https://github.com/robjsliwa/pyprolog

Prolog implemented in Python

interpreter prolog prolog-interpreter python unification

Last synced: 22 Nov 2024

https://github.com/memgonzales/medical-expert-ehrlich

Backward-chaining medical expert system that specializes in selected autoimmune diseases and employs MYCIN-style computations to handle uncertainty

backward-chaining backward-chaining-prolog expert-system intelligent-systems medical-expert-system prolog uncertainty

Last synced: 19 Nov 2024