All Git Users → acharal

2 open source projects by acharal

[ Open user page on Github ]

Higher Order Prolog with Extensional Semantics

✭ 43

haskell prolog Yacc Makefile interpreter hopes higher-order-logic

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

✭ 18

haskell prolog machine wam warren prolog-compiler

1-2 of 2 user projects