#

prolog

Here are 62 public repositories matching this topic...

SWI-Prolog / swipl-devel

SWI-Prolog Main development repository

prolog logic-programming swi-prolog

Updated Nov 6, 2025
C

trealla-prolog / trealla

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

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

Updated Nov 6, 2025
C

mingodad / picat

My unofficial picat http://picat-lang.org/ repository

cross-platform functional-programming pattern-matching prolog constraint-programming dynamic-programming solvers symbolic-computation declarative-programming

Updated Jan 11, 2024
C

haldai / Jurassic.pl

Call Julia code from Prolog

interface julia prolog swi-prolog

Updated Nov 11, 2022
C

racuna1 / cse240-public

This repository contains public source files for use in CSE240 (Introduction to Programming Languages) at Arizona State University.

c scheme magic cpp prolog cse240 arizona-state-university

Updated Feb 11, 2021
C

maheshabburi4 / IITH-BTECH-Courses

BTECH Courses semwise

eiffel os prolog discrete-mathematics computer-architecture data-structures-and-algorithms principles-of-programming-languages cool-compiler

Updated Jul 17, 2024
C

AppliedLogicSystems / ALSProlog

ALS Prolog Compiler & Development Environment

language programming-language compiler prolog prolog-implementation logic-programming prolog-programming-language iso-prolog-standard

Updated Sep 10, 2025
C

mistupv / SWIPrologZ3

A simple Prolog API for the Z3 constraint solver

c api prolog z3 swi z3-smt-solver

Updated Feb 5, 2018
C

friguzzi / bddem

bddem is a SWI-Prolog pack for using Binary Decision Diagrams

c prolog binary-decision-diagrams cudd inductive-logic-programming probabilistic-logic-programming

Updated Aug 30, 2025
C

tadashi9e / gprolog-utf8

GNU PROLOG with utf-8 support

compiler utf-8 prolog gnu

Updated Mar 1, 2020
C

pahihu / smallprolog

Small Prolog V2 by Henri de Feraudy

prolog

Updated Apr 5, 2019
C

dcasella / k-means

K-Means libraries for C, Lisp, Prolog and Ruby

ruby c common-lisp prolog kmeans

Updated Apr 27, 2022
C

anxkhn / sem3-labs

Personal Code Repo for MU IT Sem 3 Labs

javascript c java haskell cpp prolog hacktoberfest

Updated Nov 9, 2022
C

dysfungi / coursework

Organized School Coursework Repository

Updated Apr 12, 2017
C

zeynepozalp / Coursework

Homeworks given at Department of Computer Engineering, Middle East Technical University.

python c computer-science haskell cpp prolog data-structures formal-languages programming-language-concepts logic-design metu-ceng descrete-math

Updated Aug 23, 2020
C

karttu / A089840-programs

Two programs that illustrate the creation of OEIS array A089840, which lists signature permutations of non-recursive Catalan automorphisms, that is, bijections of finite plane binary trees, with no unlimited recursion down to indefinite distances from the root.

prolog binary-trees integer-sequences permutation-algorithms catalan-numbers

Updated May 2, 2019
C

MetroTechno_IncidentReporter

seanpm2001 / MetroTechno_IncidentReporter

The incident reporter for MetroTechno

c infrastructure embedded gplv3 tcl prolog city md txt gpl3 embedded-system metro-techno metrotechno metrotechno-incidentreporter incidentreporter

Updated Sep 10, 2022
C

drbeco / doxygenprolog

A doxygen filter to use with Prolog

prolog doxygen

Updated Apr 27, 2025
C

damianoazzolini / plplot

Plot graphs in SWI Prolog using plplot

c gui plot prolog plplot

Updated May 3, 2021
C

smaludzi / plg

Prolog inspired programming language

language programming prolog languages

Updated Jun 8, 2023
C

Improve this page

Add a description, image, and links to the prolog topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the prolog topic, visit your repo's landing page and select "manage topics."