Index of /prolog/tutor/files/source
Name Last modified Size Description
Parent Directory 15-Jul-1995 22:54 -
analyse.pl 29-Dec-2010 08:45 5k
analyse_sdo.sdo 29-Dec-2010 08:45 3k
and_or.pl 29-Dec-2010 08:45 69k
answers.pl 29-Dec-2010 08:45 9k
arrays.pl 29-Dec-2010 08:45 23k
ask.pl 29-Dec-2010 08:45 9k
assert_n.pl 29-Dec-2010 08:45 6k
auto.logic 29-Dec-2010 08:45 1k
blocks.pl 29-Dec-2010 08:45 25k
bug.p 29-Dec-2010 08:45 1k
bug.pl 29-Dec-2010 08:45 8k
chars.pl 29-Dec-2010 08:45 7k
check_clause.pl 29-Dec-2010 08:45 2k
command_help.pl 29-Dec-2010 08:45 12k
commands.pl 29-Dec-2010 08:45 30k
compare_terms.pl 29-Dec-2010 08:45 5k
control.pl 29-Dec-2010 08:45 11k
cpu_time.pl 29-Dec-2010 08:45 2k
db.pl 29-Dec-2010 08:45 2k
draw.pl 29-Dec-2010 08:45 7k
editor.pl 29-Dec-2010 08:45 27k
file_to_terms.pl 29-Dec-2010 08:45 8k
files.p 29-Dec-2010 08:45 1k
files.pl 29-Dec-2010 08:45 17k
findall.pl 29-Dec-2010 08:45 2k
flags.pl 29-Dec-2010 08:45 2k
go.pl 29-Dec-2010 08:45 2k
help.pl 29-Dec-2010 08:45 6k
kbfiles.pl 29-Dec-2010 08:45 11k
lib.pl 29-Dec-2010 08:45 29k
lists.pl 29-Dec-2010 08:45 7k
logic.com 29-Dec-2010 08:45 1k
main_loop.pl 29-Dec-2010 08:45 9k
makelogic.com 29-Dec-2010 08:45 1k
makescript.com 29-Dec-2010 08:45 1k
master.pl 29-Dec-2010 08:45 3k
mean_time.pl 29-Dec-2010 08:45 2k
mode.pl 29-Dec-2010 08:45 1k
monopoly.pl 29-Dec-2010 08:45 8k
numbervars.pl 29-Dec-2010 08:45 4k
output.pl 29-Dec-2010 08:45 6k
output_english.pl 29-Dec-2010 08:45 4k
output_to_chars.p 29-Dec-2010 08:45 1k
output_to_chars.pl 29-Dec-2010 08:45 5k
parse.pl 29-Dec-2010 08:45 12k
parse_logic.pl 29-Dec-2010 08:45 12k
parse_prolog.pl 29-Dec-2010 08:45 4k
parse_utils.pl 29-Dec-2010 08:45 5k
portray.pl 29-Dec-2010 08:45 1k
pp.sdo 29-Dec-2010 08:45 3k
random.pl 29-Dec-2010 08:45 3k
read_line.pl 29-Dec-2010 08:45 4k
read_sentence.pl 29-Dec-2010 08:45 8k
read_term.pl 29-Dec-2010 08:45 21k
scratch 29-Dec-2010 08:45 1k
screen_edit.p 29-Dec-2010 08:45 1k
screen_edit.pl 29-Dec-2010 08:45 48k
script.pl 29-Dec-2010 08:45 13k
sdo.pl 29-Dec-2010 08:45 18k
sdo_output.pl 29-Dec-2010 08:45 9k
show.pl 29-Dec-2010 08:45 7k
show_sdo.sdo 29-Dec-2010 08:45 7k
string_edit.pl 29-Dec-2010 08:45 8k
system.p 29-Dec-2010 08:45 1k
system.pl 29-Dec-2010 08:45 3k
tokenise.p 29-Dec-2010 08:45 1k
tokenise.pl 29-Dec-2010 08:45 37k
useful.p 29-Dec-2010 08:45 1k
useful.pl 29-Dec-2010 08:45 7k
why.pl 29-Dec-2010 08:45 5k
why_sdo.sdo 29-Dec-2010 08:45 3k
Apache/1.3.37 Server at www.j-paine.org Port 80