|
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
namespace Diggins.Jigsaw
{
class UnifierTests
{
public static void PrintBindings(List e1, List e2)
{
var bindings = Unifier.Unify(e1, e2);
foreach (var kv in bindings)
Console.WriteLine("Variable = {0}, Value = {1}", kv.Key, kv.Value);
}
public static void PrintBindings(string s1, string s2)
{
PrintBindings(List.Parse(s1), List.Parse(s2));
}
public static void Tests()
{
PrintBindings("(forty_two)", "(42)");
PrintBindings("(is_c b42)", "(c 42)");
PrintBindings("()", "()");
PrintBindings("(42)", "(a42)");
PrintBindings("((a b) 3)", "((1 2) c)");
PrintBindings("(list x)", "((1 2 3) 42)");
}
}
}
|
By viewing downloads associated with this article you agree to the Terms of Service and the article's licence.
If a file you wish to view isn't highlighted, and is a text file (not binary), please
let us know and we'll add colourisation support for it.