Projects in Awesome Lists tagged with prolog-implementation

https://github.com/mthom/scryer-prolog

A modern Prolog implementation written mostly in Rust.

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

Last synced: 29 Mar 2025

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: 13 May 2025

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: 20 Mar 2025

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

An open source Prolog interpreter in JavaScript

iso-prolog-standard javascript logic-programming prolog prolog-implementation prolog-interpreter prolog-programming-language tau-prolog

Last synced: 03 Apr 2025

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: 14 May 2025

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: 12 Apr 2025

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

Minimal Prolog implemented in Rust

prolog prolog-implementation prolog-interpreter rust rust-lang

Last synced: 09 Apr 2025

https://github.com/rm-hull/wam

Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction

clojure parser-combinators prolog-implementation tutorial unification wam

Last synced: 23 Apr 2025

https://github.com/lambduli/minilog

A small logic programming language.

language logic-programming programming-language prolog prolog-implementation repl unification

Last synced: 21 Nov 2024

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

This is a prolog repository contains logic-based code for symbolic reasoning, AI algorithms, and other rule-based applications.

prolog prolog-exercises prolog-implementation prolog-programming-language

Last synced: 01 Mar 2025

https://github.com/eignnx/thoreaulog

A simple Prolog implementation written in ReasonML.

javascript-library prolog prolog-implementation reasonml

Last synced: 15 Mar 2025

https://github.com/qnighy/shumilog

Shumilog - a partial Prolog implementation

haskell prolog prolog-implementation

Last synced: 31 Mar 2025

https://github.com/uhop/yopl

No dependency mini-library: rule-based logical solvers.

logical-programming logical-solvers prolog-implementation

Last synced: 23 Apr 2025

https://github.com/elaaatif/expert-system-movies-series-suggestion

This Prolog project is a movie and series recommendation system that suggests personalized movies or series based on user preferences such as age, mood, preferred director, and streaming platform. The system utilizes a database of movies and series, and it allows users to input their criteria to receive recommendations.

project prolog prolog-implementation recommender-system

Last synced: 12 Apr 2025

https://github.com/danilo019/paradigma-l-gico-e-programa-o-em-prolog

Este repositório contém um projeto acadêmico desenvolvido para a disciplina de Paradigmas de Programação do curso de Ciências da Computação. O objetivo do projeto é explorar o paradigma lógico de programação, utilizando a linguagem Prolog para resolver problemas de lógica e modelagem de conhecimento.

bootstrap5 css hanoi-puzzle html-css-javascript javascript prolog prolog-implementation prolog-programming-language