Angelos Charalambidis

Results 2 repositories owned by Angelos Charalambidis

hopes

50
Stars
6
Forks
Watchers

Higher Order Prolog with Extensional Semantics

verified publisher icon acharal

wam

19
Stars
2
Forks
Watchers

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

verified publisher icon acharal