diff options
| -rw-r--r-- | inst/prelude.pl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/inst/prelude.pl b/inst/prelude.pl index 54246ba..2bb0b39 100644 --- a/inst/prelude.pl +++ b/inst/prelude.pl @@ -1,8 +1,8 @@ member(X, [X|_]). member(X, [_|T]) :- member(X,T). -append([], [], []) :- !. -append([], [H|T], [H|T]) :- !. +append([], [], []). +append([], [H|T], [H|T]). append([X|T], Y, [X|TY]) :- append(T,Y,TY). list([]). @@ -83,3 +83,5 @@ expand_phrasecall(X, Xp, S0, S) :- !, struct(X, Id, Args), append(Args, [S0, S], Args1), struct(Xp, Id, Args1). + +phrase(X, S0, S) :- expand_phrasecall(X, Xp, S0, S), call(Xp). |