incomplete search results

[dagit]

Welcome to miniprolog!
This prolog interpreter is based on the ML code at the PLZoo:
  http://andrej.com/plzoo/html/miniprolog.html

Input syntax: 
    ?- query.            Make a query.
    a(t1, ..., tn).      Assert an atomic proposition.
    A :- B1, ..., Bn.    Assert an inference rule.
    $quit                Exit interpreter.
    $use "filename"      Execute commands from a file.
Prolog> $use "prelude.pl"
Prolog> ?-append(X,Y,cons(a,cons(b,cons(c,cons(d,nil))))).
Y = cons(a, cons(b, cons(c, cons(d, nil))))
X = nil 

more? (y/n) [y] 
No
Prolog> 

This should give more answers, such as X = cons(a,nil), Y = cons(b, cons(c, cons(d, nil))).