From dichevc@wssu.edu Tue Oct 16 16:19:13 2001
Received: from wssuram1.wssu.edu (wssumits.wssu.edu [152.12.3.12])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f9GEJDt24243
	for <prolog@swi.psy.uva.nl>; Tue, 16 Oct 2001 16:19:13 +0200 (MET DST)
Received: by wssuram1 with Internet Mail Service (5.5.2650.21)
	id <THGH4VN3>; Tue, 16 Oct 2001 10:24:51 -0400
Message-ID: <5B264673E9D6D111BB7500A0C99B840D02CD9B2B@wssuram1>
From: "Dichev, Christo" <dichevc@wssu.edu>
To: "'prolog@swi.psy.uva.nl'" <prolog@swi.psy.uva.nl>
Date: Tue, 16 Oct 2001 10:24:50 -0400
MIME-Version: 1.0
X-Mailer: Internet Mail Service (5.5.2650.21)
Content-Type: text/plain;
	charset="iso-8859-1"
Subject: [SWIPL] SWI-Prolog - Definite Clause Grammar

I am not an experienced SWI-Prolog  user and I want to experiment with some
of the problems 
from the Language Processing chapter given in the Bratko's  book. I know
that many Prolog 
implementations support  DCG (with its special notation "-->").  May be
"phrase/2" or 
 "phrase/3"  are provided for that purpose, but I don't know how to use
them.
Is it possible to express in SWI-Prolog grammar rules in the form:

	s --> [a],[b].
	s --> [a],s, [b].

Any assistance would be appreciated.

Thanking in advance,
Christo

