GitHub repository: suhr/lwam
Created: 2020-03-24T12:42:04Z
Description: A WAM for λProlog