// h18.10/5 (鈴)
package exp;

import java.util.HashMap;
import tiny_prolog.Prolog;

/** 簡単な対話型インタープリタの実装例 */
public class P1
{
    public static void main(String[] args) throws Exception
    {
        System.out.println("Tiny Prolog in Java:  Input clauses or ?- goals.");
        Prolog ip = new Prolog (System.in);
        ip.vars = new HashMap<String, Prolog.Var> ();
        ip.preds = new HashMap<String, Prolog.Pred> ();
        for (;;) {
            Prolog.Read r = ip.read();
            if (r.isEOF) break;
            if (r.goals != null) {
                int i = 0;
                for (Prolog.Env env: r.goals) {
                    i++;
                    System.out.println(i + " " + env.get(r.goals));
                }
                System.out.println((i == 0) ? "No" : "Yes");
            }
        }
        System.out.println("bye");
    }
}