Awesome Open Source

Programming Languages

Search results for types prolog

4 search results found

Typesandproofs ⭐ 28

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

Client for the AllegroGraph 4.x RDF graph database.

custom type systems for python in prolog: http://alehander42.me/prolog_type_systems

SWI-Prolog dynamic C interface

Optional types for Prolog

SWI-Prolog 2-Way interface to Commmon Language Interface

Typed Prolog ⭐ 9

A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.

Extol Programming Language

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

Couch_orcl ⭐ 5

A CouchDB client for Oracle PL/SQL

Pokequery ⭐ 5

Prolog library for issuing complex query on the Pokemon databases

Related Searches

Javascript Types (8,178)

Typescript Types (2,606)

Python Types (2,536)

Php Types (1,921)

Java Types (1,598)

C Plus Plus Types (1,282)

Golang Types (1,257)

C Sharp Types (1,177)

Plugin Types (1,152)

Json Types (1,128)

1-4 of 4 search results

Privacy | About | Terms | Follow Us On Twitter

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