[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
how to query goal in OS shell ?
From: |
czsq888 |
Subject: |
how to query goal in OS shell ? |
Date: |
Sun, 23 Jun 2013 14:44:06 +0800 (CST) |
Using swi-prolog, i can use `swipl -q -f foo.pl -g "bar(1,2)." -t halt` to
query goal from OS shell. How to do the same thing using gnuprolog ?
Mime-Version: 1.0
Content-Type: Text/Plain; charset=iso-8859-7
Content-Transfer-Encoding: base64
X-CM-TRANSID:D8CowED5cE9tmcZRxro0DQ--.1050S2
X-Coremail-Antispam: 1Uf129KBjDUn29KB7ZKAUJUUUUU529EdanIXcx71UUUUU7v73
VFW2AGmfu7bjvjm3AaLaJ3UbIYCTnIWIevJa73UjIFyTuYvjxU2KZXUUUUU
X-CM-SenderInfo: pf2v1miyy6il2tof0z/1tbivxRFz1D+Ns7oxAAAsb
ZV4o8C5pKSArIDEgPSAwDQo=
- how to query goal in OS shell ?,
czsq888 <=