From f59e957d741814459a0dca2993a4d3d4a2325688 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Sat, 22 Mar 2014 01:02:47 +1100
Subject: Reorganising code

---
 parser.prolog | 70 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 70 insertions(+)
 create mode 100644 parser.prolog

(limited to 'parser.prolog')

diff --git a/parser.prolog b/parser.prolog
new file mode 100644
index 0000000..c4e0fff
--- /dev/null
+++ b/parser.prolog
@@ -0,0 +1,70 @@
+
+:- module(parser, [prompt/1, readList/1, readLine/1, split/2, join/2]).
+
+
+% functions for dealing with lines of text
+% eg obtaining one, parsing it into a list of words, and rejoining it
+
+% prompt provides the user with a '>' prompt
+% readList merely obtains and parses the input
+% readLine obtains a raw line of input
+% split parses a line of text into words
+% join takes a list of words and joins them into one string
+
+
+prompt(L) :-
+    write('> '),
+    readList(L).
+
+
+readList(L) :-
+    readLine(X),
+    split(X,L).
+
+
+readLine(L) :-
+    get_char(C),
+    readLine_tail(C,L).
+
+
+readLine_tail('\n',[]) :- !.
+readLine_tail(C,[C|X]) :-
+    get_char(C2),
+    readLine_tail(C2,X).
+
+
+split(X,R) :-
+    wordList(R,X,[]), !.
+
+
+join([X|Y],R) :-
+    join(Y,Rx),
+    atom_concat(X,Rx,R).
+join([X],R) :-
+    R = X.
+
+
+wordList(X) --> whitespace, wordList(X).
+wordList([X]) --> word(X).
+wordList([X]) --> word(X), whitespace.
+wordList([X|Y]) --> word(X), whitespace, wordList(Y).
+
+
+word(W) --> charList(X), {atom_chars(W,X)}.
+
+
+charList([X|Xs]) --> char(X), charList(Xs).
+charList([X]) --> char(X).
+
+
+whitespace --> whsp, whitespace.
+whitespace --> whsp.
+
+
+whsp --> oneOf(_,[' ', '\r', '\n', '\t']).
+char(X) --> noneOf(X,[' ', '\r', '\n', '\t']).
+
+
+oneOf(X,L) --> [X], {member(X,L)}.
+noneOf(X,L) --> [X], {not(member(X,L))}.
+
-- 
cgit