iso-prolog-standard

There are 0 repository under iso-prolog-standard topic.

• mthom / scryer-prolog

  A modern Prolog implementation written mostly in Rust.

  iso-prolog-standardprologprolog-implementationprolog-interpreterprolog-programming-languagerust
  Language:Rust 1892
• tau-prolog

  tau-prolog / tau-prolog

  An open source Prolog interpreter in JavaScript

  tau-prologprolog-interpreteriso-prolog-standardjavascriptprologprolog-programming-languageprolog-implementationlogic-programming
  Language:JavaScript 556

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

• AppliedLogicSystems / ALSProlog

  ALS Prolog Compiler & Development Environment

  prologcompilerlanguageprogramming-languagelogic-programmingiso-prolog-standardprolog-implementationprolog-programming-language
  Language:C 16

• realfranser / Prolog

  Prolog is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain.

  prologlogic-programmingiso-prolog-standard
  Language:Prolog