Awesome Open Source

Programming Languages

Search results for language logic programming

logic-programming x

21 search results found

Oso is a batteries-included framework for building authorization in your application.

Logica ⭐ 1,632

Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.

The Power Of Prolog ⭐ 1,130

Introduction to modern Prolog

An interpreter for learning and exploring pure λ-calculus

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

A Compiler for the Popr Language

A new logic programming language.

Ukanren Rs ⭐ 99

Rust implementation of µKanren, a featherweight relational programming language.

Brachylog ⭐ 93

A terse declarative logic programming language

Canrun_rs ⭐ 51

A Rust logic programming library inspired by the *Kanren family of language DSLs.

Logickit ⭐ 29

A Prolog-like language as a Swift Embedded Domain Specific Language.

Pyscheme ⭐ 29

A small demo lambda-language written in Python

Curry Language Server ⭐ 18

IDE support for the functional logic language Curry

Alsprolog ⭐ 15

ALS Prolog Compiler & Development Environment

A small relational (logic) programming language.

Rescuing the SOUL great logic meta programming language

Proto Vulcan ⭐ 9

A relational logic programming language embedded in Rust.

Interpreter for the Daki logic programming language

Embeddable logic scripting language

Expertsystem ⭐ 5

A simple IDE with integrated Prolog-inspired logic programming language. Semester project.

Answer Set Programming Algorithms ⭐ 5

Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

Related Searches

Python Language (4,480)

Javascript Language (4,116)

Java Language (2,414)

C Plus Plus Language (1,971)

Php Language (1,760)

Language Translation (1,672)

C Language (1,627)

Golang Language (1,300)

Typescript Language (1,185)

Ruby Language (1,111)

1-21 of 21 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.