Awesome Open Source

Programming Languages

Search results for prolog calculus

7 search results found

RTEC is an Event Calculus implementation optimised for stream reasoning

Talk slides for recent presentations

Typesandproofs ⭐ 28

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

Fpaboveus ⭐ 10

Este repósitório irá te ensinar programação funcional do zero com Haskell :) também falaremos um pouco de Prolog e Agda aqui.

A Intelligent Workflow Management System using Prolog and PHP that uses artificial intelligence planning methodologies and Event Calculus workflow specifications.

Incremental_rtec ⭐ 7

Incremental RTEC is the incremental extension of RTEC (https://github.com/aartikis/RTEC) for handling more efficiently out-of-order streams.

Shen Luajit ⭐ 5

Shen Luajit Implementation

Related Searches

Lambda Functions Calculus (377)

Haskell Calculus (190)

Python Calculus (176)

Mathematics Calculus (170)

Python Prolog (139)

Language Prolog (126)

Prolog Logic Programming (125)

Java Prolog (114)

Programming Prolog (110)

1-7 of 7 search results

Privacy | About | Terms | Follow Us On Twitter

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