preview

Questions On The Puzzle, Wordlist, Solved )

Better Essays
Open Document

:-ensure_loaded(library(clpfd)).

main(PuzzleFile, WordlistFile, SolutionFile) :- read_file(PuzzleFile, Puzzle), read_file(WordlistFile, Wordlist), valid_puzzle(Puzzle), solve_puzzle(Puzzle, Wordlist, Solved), print_puzzle(SolutionFile, Solved).

read_file(Filename, Content) :- open(Filename, read, Stream), read_lines(Stream, Content), close(Stream).

read_lines(Stream, Content) :- read_line(Stream, Line, Last), ( Last = true -> ( Line = [] -> Content = [] ; Content = [Line] ) ; Content = [Line|Content1], read_lines(Stream, Content1) ).

read_line(Stream, Line, Last) :- get_char(Stream, Char), ( Char = end_of_file -> Line = [], Last = true ; Char = ' ' -> Line = [], Last = false ; Line = [Char|Line1], read_line(Stream, Line1, Last) ).

print_puzzle(SolutionFile, Puzzle) :- open(SolutionFile, write, Stream), maplist(print_row(Stream), Puzzle), close(Stream).

print_row(Stream, Row) :- maplist(put_puzzle_char(Stream), Row), nl(Stream).

put_puzzle_char(Stream, Char) :- ( var(Char) -> put_char(Stream, '_ ') ; put_char(Stream, Char) ).

valid_puzzle([]). valid_puzzle([Row|Rows]) :- maplist(samelength(Row), Rows).

samelength([], []). samelength([_|L1], [_|L2]) :- samelength(L1, L2).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%% predicate name : changed_row/3
%% this predicate changes all '_ ' in a list into a
%% varable with empty value.

changed_row([], Accumulator,

Get Access
Related
Get Access