acharal/hopes acharal/hopes

  • Stars
    star
    47
  • Rank 600,831 (Top 12 %)
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created over 12 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
acharal/hopes
github

acharal

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Higher Order Prolog with Extensional Semantics

More Repositories

1

wam

A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
Haskell
18
star
2

yadlr

Yadlr is a fuzzy reasoner, using CLP(Q,R) to implement fuzzy algebra on top of three reasoning back-ends: resolution, tableaux, and direct set-theoretic semantics.
Prolog
4
star
3

spsync

An implementation of Sync Adapters for synchronizing SharePoint with a relational database based on Sync Framework
C#
3
star
4

parsec-prolog

A set of parsec combinators that parses ISO-Prolog programs
Haskell
2
star
5

mhtransf-lar

Experimental Compiler for Lazy Functional Language based on Intensional Transformation and Lazy Activation Records
C
1
star