acharal/wam acharal/wam

  • Stars
    star
    18
  • Rank 1,201,352 (Top 24 %)
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created over 12 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
acharal/wam
github

acharal

Reviews

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

Repository Details

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

More Repositories

1

hopes

Higher Order Prolog with Extensional Semantics
Haskell
47
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