mthom / scryer-prologLinks
A modern Prolog implementation written mostly in Rust.
☆2,272Updated this week
Alternatives and similar repositories for scryer-prolog
Users that are interested in scryer-prolog are comparing it to the libraries listed below
Sorting:
- The Power of Prolog: Introduction to modern Prolog☆1,316Updated 2 weeks ago
- The Mercury logic programming system.☆962Updated this week
- A programming language with static memory management based on λ-calculus☆1,002Updated 2 weeks ago
- A purely functional programming language with first class types☆2,722Updated this week
- Koka language compiler and interpreter☆3,608Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,136Updated 5 months ago
- Factor programming language☆1,741Updated this week
- A small extensible programming language designed for concise expression with little code.☆1,077Updated 11 months ago
- A statically typed concatenative systems programming language.☆1,129Updated 2 years ago
- Systems language with linear types and capability-based security.☆1,368Updated 3 weeks ago
- Datalog compiler embedded in Rust as a procedural macro☆477Updated last year
- A safe, easy systems language☆2,102Updated last month
- SWI-Prolog Main development repository☆1,101Updated this week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆828Updated last year
- Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.☆1,424Updated last week
- A lightweight Datalog engine in Rust☆835Updated 3 years ago
- A static, type inferred and embeddable language written in Rust.☆3,331Updated 8 months ago
- A modern proof language☆3,692Updated 7 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,953Updated 2 weeks ago
- An APL-like programming language☆990Updated this week
- A Dependently Typed Functional Programming Language☆3,462Updated 6 months ago
- A statically typed lisp, without a GC, for real-time applications.☆5,701Updated 8 months ago
- Curated list of Prolog packages and resources☆546Updated 3 years ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆312Updated 2 months ago
- Gerbil Scheme☆1,205Updated this week
- A Proof-oriented Programming Language☆2,882Updated this week
- Proving leftpad correct two-dozen different ways☆687Updated 4 months ago
- High-performance, Reliable, and Parallel APL☆766Updated 2 weeks ago
- Logtalk - declarative object-oriented logic programming language☆460Updated this week
- A data-parallel functional programming language☆2,567Updated this week