Jonathan J. Cook P#: a concurrent Prolog for the .NET framework. 815-845 2004 34 Softw. Pract. Exp. 9 https://doi.org/10.1002/spe.594 db/journals/spe/spe34.html#Cook04