trismegiste/wam-prolog (packagist): Warren Abstract Machine for Prolog
Keywords: cli|engine|abstract|inference|prolog|machine|warren