Microsoft Authentication Library (MSAL) for .NET
Prolog implementation based on Warren's abstract machine