:- module bug.

:- interface.
:- import_module io.
:- pred main(io::di, io::uo) is cc_multi.

:- implementation.
:- import_module string, list, char.
:- pred wrd( string::in, string::out) is nondet.
:- pragma fact_table( wrd/2, "dic.m").

main(!IO) :-
   ( wrd("horse", X) -> 
     print(X,!IO), nl(!IO)
   ; true ).