prolog-interpreter

There are 3 repositories under prolog-interpreter topic.

• mthom / scryer-prolog

  A modern Prolog implementation written mostly in Rust.

  rustprologprolog-interpreterprolog-implementationiso-prolog-standardprolog-programming-language
  Language:Rust 1908
• tau-prolog

  tau-prolog / tau-prolog

  An open source Prolog interpreter in JavaScript

  iso-prolog-standardjavascriptlogic-programmingprologprolog-implementationprolog-interpreterprolog-programming-languagetau-prolog
  Language:JavaScript 558

• 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.

  prologcompilerprogramming-languagelogicinterpreterbytecodevirtual-machineclpconstraintsprolog-implementationprolog-interpreterprolog-compileriso-prolog-standardciao-prologprolog-programming-languagelogic-programming
  Language:Prolog 245

• trealla-prolog / trealla

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

  ciso-prolog-standardprologprolog-implementationprolog-interpreterprolog-programming-language
  Language:C 233

• nicoladileo / NephroDoctor

  NephroDoctor: A simple Medical Expert System written in Prolog

  artificial-intelligenceexpert-systemmedical-informaticsprolog-programming-languageprolog-interpreterinference-engineknowledge-baserule-baseduncertainty
  Language:Prolog 30

• s-webber / projog

  Prolog programming for the Java platform.

  prologjavaprolog-interpreter
  Language:Java 30

• jdswalker / Interpreter-in-Prolog

  An interpreter capable of executing a simple scripting language from a plain-text file

  interpreterlexerparserprologprolog-cfgprolog-interpreterswi-prologtokenizer
  Language:Prolog 13

• catseye / Cardboard-Prolog

  MIRROR of https://codeberg.org/catseye/Cardboard-Prolog : A bare-bones inference engine in 120 lines of purely functional Scheme

  prolog-interpreterinference-enginedidacticpure-functionaldeductive-inferencelogic-programming
  Language:Scheme 8
• Prolog-on-Browser

  jsakamoto / Prolog-on-Browser

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

  prologprolog-interpreterblazorblazor-webassemblyblazor-wasmblazor-web-assemblyblazor-client-side
  Language:C# 8

• eazar001 / bfg-prolog

  Implementation of Prolog

  warren-abstract-machinewamprologcompilerinterpreterrustlanguagevmvirtual-machinelogiclogic-programmingbfgbfg9000prolog-programming-languageprolog-implementationprolog-interpreter
  Language:Rust 7

• robjsliwa / pyprolog

  Prolog implemented in Python

  pythonprologprolog-interpreterinterpreterunification
  Language:Python 6

• tanishqg5325 / Prolog-Interpreter

  Prolog Interpreter in OCaml

  interpreterocamlocamllexocamlyaccprologprolog-interpreter
  Language:OCaml 5

• logicmoo / flux

  FLUX: A logic programming method for reasoning agents

  prologprolog-interpreterprogramming-languageagent-oriented-programming
  Language:Prolog 4

• luciangreen / listprologinterpreter

  A Prolog Interpreter written in Prolog.

  prolog-interpreterswi-prologvpsthoughtsfunctionalswiplapitypesgrammarsmodes
  Language:Prolog 4

• murshidazher / restaurant-expert-system

  :plate_with_cutlery: A simple expert system which recommends food menu based on user preferences.

  prologprolog-interpreterswi-prologexpert-systemknowledge-baseinterface-engine
  Language:Prolog 4

• RISHIT7 / Prolog-Interpreter

  A Mini Prolog interpreter written in OCaml

  ocamlprologprolog-interpreter
  Language:OCaml 4

• dogeMcdogeface / BacktraceToolsJS

  A browser based PROLOG interpreter.

  prologprolog-interpreter
  Language:JavaScript 3

• pdnm / purelog

  Core Prolog interpreter

  prolog-interpreter
  Language:Haskell 3

• tau-prolog / notebook

  A web-based notebook environment for Tau Prolog

  notebookprologprolog-applicationprolog-interpretertau-prolog
  Language:JavaScript 3

• tau-prolog / sandbox

  An online Tau Prolog sandbox

  prologprolog-interpreterprolog-programming-languageprolog-applicationsandboxtau-prolog
  Language:PHP 3

• adamjstewart / prolog

  An implementation of Prolog written in OCaml

  ocamlprologprolog-interpreter
  Language:OCaml 2

• ejrh / qolog

  A toy Prolog interpreter

  prolog-interpreterprolog-implementationprolog
  Language:Python 2

• techcentaur / COL226-Assignments

  The code in this repository is relevant to the assignments given in the course COL226, taught by Prof. Sanjiva Prasad, in IIT Delhi, 2nd semester, 2017-2018.

  abstract-machinekrivine-machineocamlprogramming-languageprologprolog-interpretertype-checker
  Language:OCaml 2

• AhmedNassar7 / Prolog-Wordle

  A simple clone of Wordle implemented in Prolog.

  prologprolog-applicationprolog-interpreter
  Language:Prolog 1

• djin31 / Toy-Prolog-Interpreter

  This is an interpreter written in OCaml for a subset of Prolog instruction set.

  prolog-interpreterlexer-parser
  Language:OCaml 1

• dsmic / PythonProlog

  Prolog interpreter written in Python.

  prologprolog-interpreterpython
  Language:Python 1

• fergusq / qlog

  Prolog-like programming language

  prolog-interpreterinterpreterlogic-programming
  Language:Haskell 1

• iMaz1n / Prolog

  Prolog Programming

  prologprolog-interpreterswi-prolog
  Language:Prolog 1

• Kr1s1m / Prolog-Interpreter

  Prolog interpreter univeristy project

  prolog-interpreterfunctional-programminghaskell
  Language:Haskell 1

• maresmar / ProCplusLog

  Prolog interpret in C++

  command-lineinterpreterprolog-interpreter
  Language:C++ 1

• mikeroyal / Prolog-Guide

  Prolog Guide

  prologprolog-interpreterprolog-programming-language
  Language:Prolog 1

• s7rthak / Prolog-interpreter-in-OCaml

  Prolog-Interpreter-in-OCaml

  prolog-interpreterlazy-evaluation
  Language:OCaml 1

• samarthaggarwal / Programming-Languages

  A collection of assignments done in COL226 - Programming Languages

  lexer-parserocamlprogramming-languagesprolog-interpreter
  Language:OCaml 1

• SnipyJulmy / SkalaLog

  Prolog interpreter written in Scala

  prolog-interpreterscalafor-fun
  Language:Scala 1

• tom-weatherhead / thaw-interpreter

  Programming language interpreters, including LISP, Scheme, and Prolog.

  interpreterslisp-interpreterscheme-interpreterprolog-interpreter
  Language:TypeScript 1

• zakski / project-soisceal

  Slimline Fork of tuProlog ported to scala

  tuprologprologprolog-interpreterinterpreter
  Language:TeX 1