DCG doesn't produce the same result as difference list.

[boblund]

The following DCG:
subject --> modifier, noun.

modifier --> [the].

noun --> [cat].
noun --> [mouse].

when queried with:
subject(X,[]).

produces:
X = [the|_5]
X = [the|_5]

Whereas:
subject(L1, L3) :- modifier(L1, L2), noun(L2, L3).

modifier([the|X], X).

noun([cat|X], X).
noun([mouse|X], X).

produces the following with the same query:
X = [the,cat]
X = [the,mouse]

[jariazavalverde]

Hi. Are you using the latest version of Tau Prolog?

[boblund]

Hi,

I'm using "version": "0.3.4".

boblund