Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for calculus logic programming
calculus
x
logic-programming
x
2 search results found
Rtec
⭐
74
RTEC is an Event Calculus implementation optimised for stream reasoning
Golog
⭐
5
Plan recognition system based on the situation calculus and action language Golog, written in Haskell
Related Searches
Lambda Functions Calculus (380)
Haskell Calculus (190)
Python Calculus (176)
Mathematics Calculus (170)
Prolog Logic Programming (125)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.