* prolog
@ 2014-03-21 19:59 Stefan Israelsson Tampe
0 siblings, 0 replies; only message in thread
From: Stefan Israelsson Tampe @ 2014-03-21 19:59 UTC (permalink / raw)
To: guile-devel, guile-user@gnu.org
[-- Attachment #1: Type: text/plain, Size: 1464 bytes --]
Ok, I've been working on a prolog shell in guile.
,help works as before
[+ 1 2] staring [ will mark a sexp evaluation normal sexp reader is used
X=1;X=2. And of cause prolog expressions ends with '.'
Then we will get:
prolog@(guile-user)> [use-modules (logic guile-log iso-prolog)]
prolog@(guile-user)> assertz(f(1)).
yes
more (y/n/a) > n
prolog@(guile-user)> asserta(f(a)).
yes
more (y/n/a) > n
prolog@(guile-user)> f(X).
X = a
more (y/n/a) > y
X = 1
more (y/n/a) > y
no
prolog@(guile-user)> ,help
Help Commands [abbrev]:
,help [all | GROUP | [-c] COMMAND]
[,h] - Show help.
,show [TOPIC] - Gives information about Guile.
,apropos REGEXP [,a] - Find bindings/modules/packages.
,describe OBJ [,d] - Show description/documentation.
Command Groups:
,help all - List all commands
,help module - List module commands
,help language - List language commands
,help compile - List compile commands
,help profile - List profile commands
,help debug - List debug commands
,help inspect - List inspect commands
,help system - List system commands
Type `,help -c COMMAND' to show documentation of a particular command.
prolog@(guile-user)> [+ 1 2]
$1 = 3
prolog@(guile-user)>
Happy hacking!
[-- Attachment #2: Type: text/html, Size: 2084 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2014-03-21 19:59 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-03-21 19:59 prolog Stefan Israelsson Tampe
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).