Found 1 repositories(showing 1)
matsud224
Prolog implementation based on Warren's abstract machine
All 1 repositories loaded