3 ms·Like hundreds of other embeddings of logic languages.by lispm 8y agoLike hundreds of other embeddings of logic languages.