Open source projects in Prolog

  • hakank/hakank

    My public programs and models - mostly combinatorial problems and puzzles

    ☕Prolog   ★116 stars   ⚠1 open issues   ⚭1 contributors   ☯over 5 years old  
  • komar007/ghkb

    GH60 - an open-source mechanical keyboard PCB designed for the community at geekhack.org

    ☕Prolog   ★308 stars   ⚠1 open issues   ⚭1 contributors   ☯over 6 years old  
  • fnogatz/xsd2json

    Translate XML Schema into equivalent JSON Schema

    ☕Prolog   ★71 stars   ⚠11 open issues   ⚭2 contributors   ☯over 4 years old  
  • lautis/lisp-prolog

    Implementation of a toy Lisp using Prolog

    ☕Prolog   ★4 stars   ⚠0 open issues   ⚭2 contributors   ☯almost 8 years old  
  • leandrosansilva/toy_2048_prolog

    A implementation of the game 2048 in Prolog

    ☕Prolog   ★0 stars   ⚠0 open issues   ⚭1 contributors   ☯almost 3 years old  
  • strangeloop/StrangeLoop2014

    Strange Loop 2014 archives

    ☕Prolog   ★185 stars   ⚠1 open issues   ⚭33 contributors   ☯over 4 years old  
  • mcsoto/cosmos

    A new logic programming language.

    ☕Prolog   ★144 stars   ⚠3 open issues   ⚭3 contributors   ☯over 4 years old  
  • kikito/7-languages-in-7-weeks

    My personal repo for 7LI7W exercises

    ☕Prolog   ★48 stars   ⚠0 open issues   ⚭2 contributors   ☯about 7 years old  
  • c-cube/datalog

    An in-memory datalog implementation for OCaml.

    ☕Prolog   ★141 stars   ⚠0 open issues   ⚭1 contributors   ☯almost 6 years old  
  • SWI-Prolog/swish

    SWI-Prolog for SHaring: a SWI-Prolog web IDE

    ☕Prolog   ★237 stars   ⚠25 open issues   ⚭6 contributors   ☯over 4 years old  
  • Attempto/APE

    Parser for Attempto Controlled English (ACE)

    ☕Prolog   ★76 stars   ⚠8 open issues   ⚭4 contributors   ☯about 7 years old  
  • motools/musicontology

    The Music Ontology Specification provides main concepts and properties fo describing music (i.e. artists, albums, tracks, but also performances, arrangements, etc.) on the Semantic Web.

    ☕Prolog   ★70 stars   ⚠10 open issues   ⚭3 contributors   ☯about 7 years old  
  • mndrix/microkanren-prolog

    Prolog implementation of microKanren

    ☕Prolog   ★25 stars   ⚠0 open issues   ⚭1 contributors   ☯almost 4 years old  
  • 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   ★106 stars   ⚠1 open issues   ⚭9 contributors   ☯over 6 years old  
  • Anniepoo/prolog-examples

    Some simple examples for new Prolog programmers

    ☕Prolog   ★188 stars   ⚠3 open issues   ⚭2 contributors   ☯about 6 years old  
  • bitlaw-jp/the-constitution-of-japan

    ☕Prolog   ★110 stars   ⚠0 open issues   ⚭1 contributors   ☯over 3 years old  
  • sciguy14/Eagle-Tutorial-Series

    These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.

    ☕Prolog   ★68 stars   ⚠0 open issues   ⚭1 contributors   ☯over 6 years old  
  • larsyencken/marelle

    Test-driven system administration with a little extra logic.

    ☕Prolog   ★355 stars   ⚠1 open issues   ⚭6 contributors   ☯over 5 years old  
  • Emeryth/iPad3_lcd

    A PCB for attaching an iPad retina LCD to a DisplayPort source

    ☕Prolog   ★131 stars   ⚠0 open issues   ⚭1 contributors   ☯over 5 years old  
  • Anniepoo/swiplwebtut

    A tutorial for the swipl web framework

    ☕Prolog   ★47 stars   ⚠7 open issues   ⚭1 contributors   ☯over 6 years old  
  • sebschub/FontPro

    LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more

    ☕Prolog   ★147 stars   ⚠10 open issues   ⚭3 contributors   ☯about 8 years old  
  • semifor/twirc

    Twitter / IRC gateway in perl

    ☕Prolog   ★33 stars   ⚠3 open issues   ⚭7 contributors   ☯about 10 years old  
  • Anniepoo/weblog

    Web Framework for SWI-Prolog

    ☕Prolog   ★26 stars   ⚠9 open issues   ⚭3 contributors   ☯almost 6 years old  
  • vangelisv/thea

    OWL2 library for Prolog

    ☕Prolog   ★65 stars   ⚠11 open issues   ⚭2 contributors   ☯almost 10 years old  
  • hairykiwi/OTM-02

    Open source Time Machine #2

    ☕Prolog   ★50 stars   ⚠1 open issues   ⚭1 contributors   ☯almost 6 years old  
  • triska/clpfd

    Constraint Logic Programming over Finite Domains

    ☕Prolog   ★53 stars   ⚠0 open issues   ⚭1 contributors   ☯about 3 years old