Movatterモバイル変換

Skip to content

#

iso-prolog-standard

Here are 7 public repositories matching this topic...

Language:All

Filter by language

All7 Prolog3 C2 JavaScript1 Rust1

mthom /scryer-prolog

A modern Prolog implementation written mostly in Rust.

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

UpdatedDec 17, 2025
Rust

tau-prolog

tau-prolog /tau-prolog

An open source Prolog interpreter in JavaScript

javascript prolog prolog-implementation prolog-interpreter logic-programming prolog-programming-language tau-prolog iso-prolog-standard

UpdatedJan 30, 2023
JavaScript

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

UpdatedDec 17, 2025
C

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.

programming-language interpreter bytecode compiler virtual-machine logic prolog prolog-implementation constraints prolog-interpreter logic-programming clp prolog-programming-language prolog-compiler iso-prolog-standard ciao-prolog

UpdatedJun 21, 2025
Prolog

AppliedLogicSystems /ALSProlog

ALS Prolog Compiler & Development Environment

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

UpdatedSep 10, 2025
C

dnmfarrell /dict

An ISO Prolog dictionary, implemented as an incomplete binary search tree.

prolog binary-search-tree data-structures-and-algorithms iso-prolog-standard

UpdatedNov 5, 2024
Prolog

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.

prolog logic-programming iso-prolog-standard

UpdatedJun 24, 2021
Prolog

Improve this page

Add a description, image, and links to theiso-prolog-standard 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 theiso-prolog-standard topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp