Skip to content

Trending

See what the GitHub community is most excited about today.

  1. My public programs and models - mostly combinatorial problems and puzzles

    Prolog 146 35 Built by @hakank
  2. Test-driven system administration with a little extra logic.

    Prolog 370 21 Built by @larsyencken @myfreeweb @fhahn @kavu @pmoura
  3. SWI-Prolog for SHaring: a SWI-Prolog web IDE

    Prolog 295 70 Built by @JanWielemaker @triska @friguzzi @jrvosse @Anniepoo
  4. Some simple examples for new Prolog programmers

    Prolog 262 99 Built by @Anniepoo @Average-user @rynsy @ian-andrich @JesseAldridge
  5. Strange Loop 2014 archives

    Prolog 185 59 Built by @puredanger @Anniepoo @David-Broderick @daira @sasbury
  6. LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more

    Prolog 168 31 Built by @sebschub @georgerbr @arthurl @srstevenson @epoyraz
  7. An in-memory datalog implementation for OCaml.

    Prolog 159 8 Built by @c-cube
  8. A new logic programming language.

    Prolog 157 6 Built by @mcsoto @mbertheau @shkesar
  9. Prolog 145 2 Built by @bitlaw-jp
  10. My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.

    Prolog 142 52 Built by @dragonwasrobot @gshopov @drawers @sekwah41 @yochem
  11. A PCB for attaching an iPad retina LCD to a DisplayPort source

    Prolog 142 44 Built by @Emeryth
  12. Logtalk - declarative object-oriented logic programming language

    Prolog 119 14 Built by @pmoura @sergio-castro @eazar001 @jburse @gitter-badger
  13. Parser for Attempto Controlled English (ACE)

    Prolog 102 17 Built by @Kaljurand @tkuhn @sesuncedu @fnogatz @petekeller2
  14. Translate XML Schema into equivalent JSON Schema

    Prolog 95 19 Built by @fnogatz @greenkeeperio-bot @greenkeeper
  15. Interpreter for a simple Lisp. Written in Prolog.

    Prolog 94 5 Built by @triska
  16. Free and open source A.I. system based on Python, TensorFlow and Prolog.

    Prolog 90 24 Built by @gooofy @mpuels
  17. OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

    Prolog 88 3 Built by @davidmjones @khaledhosny
  18. 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 84 29 Built by @moustaki @zazi @warpr
  19. These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.

    Prolog 84 94 Built by @sciguy14
  20. Metagol - an inductive logic programming system

    Prolog 83 15 Built by @andrewcropper @martisch @hankconn @michael-siebers
  21. Constraint Logic Programming over Finite Domains

    Prolog 79 2 Built by @triska
  22. A terse declarative logic programming language

    Prolog 77 3 Built by @JCumin @triska @quartata @JulienCumin
  23. OWL2 library for Prolog

    Prolog 71 14 Built by @cmungall @vangelisv @0xflotus
  24. Tableau-based Theorem Prover for Natural Logic and Language

    Prolog 65 4 Built by @kovvalsky
  25. A collection of Prolog libraries.

    Prolog 64 12 Built by @wouterbeek
Other: Prolog
Other Languages
1C Enterprise ABAP ABNF ActionScript Ada Adobe Font Metrics Agda AGS Script Alloy Alpine Abuild AMPL AngelScript Ant Build System ANTLR ApacheConf Apex API Blueprint APL Apollo Guidance Computer AppleScript Arc AsciiDoc ASN.1 ASP AspectJ Assembly Asymptote ATS Augeas AutoHotkey AutoIt Awk Ballerina Batchfile Befunge Bison BitBake Blade BlitzBasic BlitzMax Bluespec Boo Brainfuck Brightscript Bro C C# C++ C-ObjDump C2hs Haskell Cap'n Proto CartoCSS Ceylon Chapel Charity ChucK Cirru Clarion Clean Click CLIPS Clojure Closure Templates Cloud Firestore Security Rules CMake COBOL CoffeeScript ColdFusion ColdFusion CFC COLLADA Common Lisp Common Workflow Language Component Pascal CoNLL-U Cool Coq Cpp-ObjDump Creole Crystal CSON Csound Csound Document Csound Score CSS CSV Cuda CWeb Cycript Cython D D-ObjDump Darcs Patch Dart DataWeave desktop Diff DIGITAL Command Language DM DNS Zone Dockerfile Dogescript DTrace Dylan E Eagle Easybuild EBNF eC Ecere Projects ECL ECLiPSe Edje Data Collection edn Eiffel EJS Elixir Elm Emacs Lisp EmberScript EML EQ Erlang F# F* Factor Fancy Fantom FIGlet Font Filebench WML Filterscript fish FLUX Formatted Forth Fortran FreeMarker Frege G-code Game Maker Language GAMS GAP GCC Machine Description GDB GDScript Genie Genshi Gentoo Ebuild Gentoo Eclass Gerber Image Gettext Catalog Gherkin GLSL Glyph Glyph Bitmap Distribution Format GN Gnuplot Go Golo Gosu Grace Gradle Grammatical Framework Graph Modeling Language GraphQL Graphviz (DOT) Groovy Groovy Server Pages Hack Haml Handlebars HAProxy Harbour Haskell Haxe HCL HiveQL HLSL HTML HTML+Django HTML+ECR HTML+EEX HTML+ERB HTML+PHP HTML+Razor HTTP HXML Hy HyPhy IDL Idris IGOR Pro Inform 7 INI Inno Setup Io Ioke IRC log Isabelle Isabelle ROOT J Jasmin Java Java Properties Java Server Pages JavaScript JFlex Jison Jison Lex Jolie JSON JSON with Comments JSON5 JSONiq JSONLD Jsonnet JSX Julia Jupyter Notebook KiCad Layout KiCad Legacy Layout KiCad Schematic Kit Kotlin KRL LabVIEW Lasso Latte Lean Less Lex LFE LilyPond Limbo Linker Script Linux Kernel Module Liquid Literate Agda Literate CoffeeScript Literate Haskell LiveScript LLVM Logos Logtalk LOLCODE LookML LoomScript LSL Lua M M4 M4Sugar Makefile Mako Markdown Marko Mask Mathematica MATLAB Maven POM Max MAXScript mcfunction MediaWiki Mercury Meson Metal MiniD Mirah Modelica Modula-2 Modula-3 Module Management System Monkey Moocode MoonScript MQL4 MQL5 MTML MUF mupad Myghty NCL Nearley Nemerle nesC NetLinx NetLinx+ERB NetLogo NewLisp Nextflow Nginx Nim Ninja Nit Nix NL NSIS Nu NumPy ObjDump Objective-C Objective-C++ Objective-J OCaml Omgrofl ooc Opa Opal OpenCL OpenEdge ABL OpenRC runscript OpenSCAD OpenType Feature File Org Ox Oxygene Oz P4 Pan Papyrus Parrot Parrot Assembly Parrot Internal Representation Pascal Pawn Pep8 Perl Perl 6 PHP Pic Pickle PicoLisp PigLatin Pike PLpgSQL PLSQL Pod Pod 6 PogoScript Pony PostCSS PostScript POV-Ray SDL PowerBuilder PowerShell Processing Prolog Propeller Spin Protocol Buffer Public Key Pug Puppet Pure Data PureBasic PureScript Python Python console Python traceback q QMake QML Quake R Racket Ragel RAML Rascal Raw token data RDoc REALbasic Reason Rebol Red Redcode Regular Expression Ren'Py RenderScript reStructuredText REXX RHTML Rich Text Format Ring RMarkdown RobotFramework Roff Rouge RPC RPM Spec Ruby RUNOFF Rust Sage SaltStack SAS Sass Scala Scaml Scheme Scilab SCSS sed Self ShaderLab Shell ShellSession Shen Slash Slice Slim Smali Smalltalk Smarty SMT Solidity SourcePawn SPARQL Spline Font Database SQF SQL SQLPL Squirrel SRecode Template Stan Standard ML Stata STON Stylus SubRip Text SugarSS SuperCollider SVG Swift SystemVerilog Tcl Tcsh Tea Terra TeX Text Textile Thrift TI Program TLA TOML Turing Turtle Twig TXL Type Language TypeScript Unified Parallel C Unity3D Asset Unix Assembly Uno UnrealScript UrWeb Vala VCL Verilog VHDL Vim script Visual Basic Volt Vue Wavefront Material Wavefront Object wdl Web Ontology Language WebAssembly WebIDL Windows Registry Entries wisp World of Warcraft Addon Data X BitMap X Font Directory Index X PixMap X10 xBase XC XCompose XML Xojo XPages XProc XQuery XS XSLT Xtend Yacc YAML YANG YARA YASnippet Zephir Zig Zimpl
ProTip! Looking for most forked Prolog repositories? Try this search
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.