%  library(win_menu) compiled into win_menu 0.02 sec, 33 clauses
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 6.4.0)
Copyright (c) 1990-2013 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

1 ?- consult('~/Documents/CSC366/Assignments/proglang.pro').
% c:/Users/joshu/Documents/CSC366/Assignments/proglang.pro compiled 0.00 sec, 16 clauses
true.

2 ?- language(snobol).
true.

3 ?- language(snowball).
false.

4 ?- essence(snobol, DT,_).
DT = pattern.

5 ?- essence(L,arrays,_).
false.

6 ?- language(Language).
Language = smalltalk ;
Language = lisp ;
Language = prolog ;
Language = snobol ;
Language = apl.

7 ?- language(Language), write(Language), nl, fail.
smalltalk
lisp
prolog
snobol
apl
false.

8 ?- history(apl,inventor(Name),_).
Name = 'Kenneth Iverson'.

9 ?- history(Language,inventor(Inventor),_).
Language = smalltalk,
Inventor = 'Alan Kay' .

10 ?- history(_,inventor(Inventor),_).
Inventor = 'Alan Kay' ;
Inventor = 'John McCarthy' ;
Inventor = 'Alan Colmeraur' ;
Inventor = 'Ralph Griswold' ;
Inventor = 'Kenneth Iverson'.

11 ?- history(_,inventor(Inventor),_), write(Inventor), nl,fail.
Alan Kay
John McCarthy
Alan Colmeraur
Ralph Griswold
Kenneth Iverson
false.

12 ?- history(_,_,date(1959)), essence(_,lists,_).
true .

13 ?- halt.