$ swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 9.2.8)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit https://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

?- [class6].
true.

?- member(1,[1,2,3]).
true ;
false.

?- member(1,[1,2,1,3]).
true ;
true ;
false.

?- member(X,[1,2,1,3]).
X = 1 ;
X = 2 ;
X = 1 ;
X = 3.

?- member(X,List).
List = [X|_] ;
List = [_, X|_] ;
List = [_, _, X|_] ;
List = [_, _, _, X|_] .

?- member(0,[1,2,1,3]).
false.

?- member(Adj,[colorless, green]).
Adj = colorless ;
Adj = green.

?- jj
?- jj([green],[]).
true.

?- jj([blue],[]).
false.

?- jj([green,ideas],L).
L = [ideas].

?- jj([green,ideas],[]).
false.

?- [class6].
true.

?- s([colorless,green,ideas,sleep,furiously],[]).
true ;
false.

?- [class6].
true.

?- s(Parse, [colorless,green,ideas,sleep,furiously],[]).
Parse = s(np(jj(colorless), jj(green), nns(ideas)), vp(vbp(sleep), advp(rb(furiously)))) ;
false.

?- s(Parse, [colorless,green,ideas,sleeps,furiously],[]).
false.

?- s(Parse, [colorless,green,ideas,sleep,furiously],Leftover).
Parse = s(np(jj(colorless), jj(green), nns(ideas)), vp(vbp(sleep), advp(rb(furiously)))),
Leftover = [] ;
false.

?- s(Parse, [colorless,green,ideas,sleeps,furiously],Leftover).
false.

?- 
?- s(_, Sentence,[]).
Sentence = [colorless, colorless, ideas, sleep, furiously] ;
Sentence = [colorless, green, ideas, sleep, furiously] ;
Sentence = [green, colorless, ideas, sleep, furiously] ;
Sentence = [green, green, ideas, sleep, furiously].

?- s(P, Sentence,[]).
P = s(np(jj(colorless), jj(colorless), nns(ideas)), vp(vbp(sleep), advp(rb(furiously)))),
Sentence = [colorless, colorless, ideas, sleep, furiously] ;
P = s(np(jj(colorless), jj(green), nns(ideas)), vp(vbp(sleep), advp(rb(furiously)))),
Sentence = [colorless, green, ideas, sleep, furiously] ;
P = s(np(jj(green), jj(colorless), nns(ideas)), vp(vbp(sleep), advp(rb(furiously)))),
Sentence = [green, colorless, ideas, sleep, furiously] ;
P = s(np(jj(green), jj(green), nns(ideas)), vp(vbp(sleep), advp(rb(furiously)))),
Sentence = [green, green, ideas, sleep, furiously].

?- [class6].
true.

?- s(P, [revolutionary, ideas, appear, infrequently],[]).
false.

?- s(P, [revolutionary, new, ideas, appear, infrequently],[]).
P = s(np(jj(revolutionary), jj(new), nns(ideas)), vp(vbp(appear), advp(rb(infrequently)))) ;
false.

?- s(_, Sentence,[]).
Sentence = [colorless, colorless, ideas, sleep, furiously] ;
Sentence = [colorless, colorless, ideas, sleep, infrequently] ;
Sentence = [colorless, colorless, ideas, appear, furiously] ;
Sentence = [colorless, colorless, ideas, appear, infrequently] ;
Sentence = [colorless, green, ideas, sleep, furiously] ;
Sentence = [colorless, green, ideas, sleep, infrequently] ;
Sentence = [colorless, green, ideas, appear, furiously] ;
Sentence = [colorless, green, ideas, appear, infrequently] ;
Sentence = [colorless, revolutionary, ideas, sleep, furiously] ;
Sentence = [colorless, revolutionary, ideas, sleep, infrequently] ;
Sentence = [colorless, revolutionary, ideas, appear, furiously] ;
Sentence = [colorless, revolutionary, ideas, appear, infrequently] ;
Sentence = [colorless, new, ideas, sleep, furiously] ;
Sentence = [colorless, new, ideas, sleep, infrequently] ;
Sentence = [colorless, new, ideas, appear, furiously] .

?- 
?- findall(S, s(_, S,[]), L), length(L, N).
L = [[colorless, colorless, ideas, sleep, furiously], [colorless, colorless, ideas, sleep, infrequently], [colorless, colorless, ideas, appear, furiously], [colorless, colorless, ideas, appear, infrequently], [colorless, green, ideas, sleep|...], [colorless, green, ideas|...], [colorless, green|...], [colorless|...], [...|...]|...],
N = 64.

?- s(_, Sentence,[]).
Sentence = [colorless, colorless, ideas, sleep, furiously] ;
Sentence = [colorless, colorless, ideas, sleep, infrequently] ;
Sentence = [colorless, colorless, ideas, appear, furiously] ;
Sentence = [colorless, colorless, ideas, appear, infrequently] ;
Sentence = [colorless, green, ideas, sleep, furiously] ;
Sentence = [colorless, green, ideas, sleep, infrequently] ;
Sentence = [colorless, green, ideas, appear, furiously] ;
Sentence = [colorless, green, ideas, appear, infrequently] ;
Sentence = [colorless, revolutionary, ideas, sleep, furiously] ;
Sentence = [colorless, revolutionary, ideas, sleep, infrequently] ;
Sentence = [colorless, revolutionary, ideas, appear, furiously] ;
Sentence = [colorless, revolutionary, ideas, appear, infrequently] ;
Sentence = [colorless, new, ideas, sleep, furiously] ;
Sentence = [colorless, new, ideas, sleep, infrequently] ;
Sentence = [colorless, new, ideas, appear, furiously] ;
Sentence = [colorless, new, ideas, appear, infrequently] ;
Sentence = [green, colorless, ideas, sleep, furiously] ;
Sentence = [green, colorless, ideas, sleep, infrequently] ;
Sentence = [green, colorless, ideas, appear, furiously] ;
Sentence = [green, colorless, ideas, appear, infrequently] ;
Sentence = [green, green, ideas, sleep, furiously] ;
Sentence = [green, green, ideas, sleep, infrequently] ;
Sentence = [green, green, ideas, appear, furiously] ;
Sentence = [green, green, ideas, appear, infrequently] ;
Sentence = [green, revolutionary, ideas, sleep, furiously] ;
Sentence = [green, revolutionary, ideas, sleep, infrequently] ;
Sentence = [green, revolutionary, ideas, appear, furiously] ;
Sentence = [green, revolutionary, ideas, appear, infrequently] ;
Sentence = [green, new, ideas, sleep, furiously] ;
Sentence = [green, new, ideas, sleep, infrequently] ;
Sentence = [green, new, ideas, appear, furiously] ;
Sentence = [green, new, ideas, appear, infrequently] ;
Sentence = [revolutionary, colorless, ideas, sleep, furiously] ;
Sentence = [revolutionary, colorless, ideas, sleep, infrequently] ;
Sentence = [revolutionary, colorless, ideas, appear, furiously] ;
Sentence = [revolutionary, colorless, ideas, appear, infrequently] ;
Sentence = [revolutionary, green, ideas, sleep, furiously] ;
Sentence = [revolutionary, green, ideas, sleep, infrequently] ;
Sentence = [revolutionary, green, ideas, appear, furiously] ;
Sentence = [revolutionary, green, ideas, appear, infrequently] ;
Sentence = [revolutionary, revolutionary, ideas, sleep, furiously] ;
Sentence = [revolutionary, revolutionary, ideas, sleep, infrequently] ;
Sentence = [revolutionary, revolutionary, ideas, appear, furiously] ;
Sentence = [revolutionary, revolutionary, ideas, appear, infrequently] ;
Sentence = [revolutionary, new, ideas, sleep, furiously] ;
Sentence = [revolutionary, new, ideas, sleep, infrequently] ;
Sentence = [revolutionary, new, ideas, appear, furiously] ;
Sentence = [revolutionary, new, ideas, appear, infrequently] ;
Sentence = [new, colorless, ideas, sleep, furiously] ;
Sentence = [new, colorless, ideas, sleep, infrequently] ;
Sentence = [new, colorless, ideas, appear, furiously] ;
Sentence = [new, colorless, ideas, appear, infrequently] ;
Sentence = [new, green, ideas, sleep, furiously] ;
Sentence = [new, green, ideas, sleep, infrequently] ;
Sentence = [new, green, ideas, appear, furiously] ;
Sentence = [new, green, ideas, appear, infrequently] ;
Sentence = [new, revolutionary, ideas, sleep, furiously] ;
Sentence = [new, revolutionary, ideas, sleep, infrequently] ;
Sentence = [new, revolutionary, ideas, appear, furiously] ;
Sentence = [new, revolutionary, ideas, appear, infrequently] ;
Sentence = [new, new, ideas, sleep, furiously] ;
Sentence = [new, new, ideas, sleep, infrequently] ;
Sentence = [new, new, ideas, appear, furiously] ;
Sentence = [new, new, ideas, appear, infrequently].

?- [class6].
true.

?- 
?- np(P,NUM, [colorless, green, ideas],[]).
P = np(jj(colorless), jj(green), nns(ideas)),
NUM = pl ;
false.

?- np(P,NUM, [colorless, green, idea],[]).
P = np(jj(colorless), jj(green), nn(idea)),
NUM = sg ;
false.

?- [class6].
true.

?- vp(P, INFL, [sleeps, furiously], []).
P = vp(vbz(sleeps), advp(rb(furiously))),
INFL = pres ;
ERROR: Unknown procedure: vbz/3
ERROR:   However, there are definitions for:
ERROR:         vbp/3
ERROR: 
ERROR: In:
ERROR:   [13] vbz(_15044,[sleeps,furiously],_15048)
ERROR:   [12] vp(vp(_15094,_15096),pres3sg,[sleeps,furiously],[]) at /Users/sandiway/Desktop/581/class6.prolog:5
ERROR:   [11] toplevel_call(user:user: ...) at /opt/local/lib/swipl/boot/toplevel.pl:1317
   Exception: (13) vbz(_5068, [sleeps, furiously], _5072) ? abort
% Execution Aborted
?- [class6].
true.

?- 
?- vp(P, INFL, [sleeps, furiously], []).
P = vp(vbz(sleeps), advp(rb(furiously))),
INFL = pres3sg ;
false.

?- vp(P, INFL, [sleep, furiously], []).
P = vp(vbp(sleep), advp(rb(furiously))),
INFL = pres ;
false.

?- [class6].
true.

?- s(Parse, [colorless,green,ideas,sleep,furiously],[]).
Parse = s(np(jj(colorless), jj(green), nns(ideas)), vp(vbp(sleep), advp(rb(furiously)))) ;
false.

?- s(Parse, [colorless,green,idea,sleep,furiously],[]).
false.

?- s(Parse, [colorless,green,idea,sleeps,furiously],[]).
Parse = s(np(jj(colorless), jj(green), nn(idea)), vp(vbz(sleeps), advp(rb(furiously)))) ;
false.

?- s(Parse, [colorless,green,ideas,sleeps,furiously],[]).
false.

?- [class6].
true.

?- 
?- s(Parse, [colorless,green,ideas,slept,furiously],[]).
Parse = s(np(jj(colorless), jj(green), nns(ideas)), vp(vbd(slept), advp(rb(furiously)))) ;
false.

?- s(P, [revolutionary, new, ideas, appear, infrequently],[]).
P = s(np(jj(revolutionary), jj(new), nns(ideas)), vp(vbp(appear), advp(rb(infrequently)))) ;
false.

?- s(P, [revolutionary, new, ideas, appeared, infrequently],[]).
P = s(np(jj(revolutionary), jj(new), nns(ideas)), vp(vbd(appeared), advp(rb(infrequently)))) .

?- s(P, [revolutionary, new, ideas, appears, infrequently],[]).
false.

?- findall(S, s(_, S,[]), L), length(L, N).
L = [[colorless, colorless, ideas, sleep, furiously], [colorless, colorless, ideas, sleep, infrequently], [colorless, colorless, ideas, appear, furiously], [colorless, colorless, ideas, appear, infrequently], [colorless, colorless, ideas, slept|...], [colorless, colorless, ideas|...], [colorless, colorless|...], [colorless|...], [...|...]|...],
N = 256.

?- [class6].
true.

?- findall(S, s(_, S,[]), L), length(L, N).
L = [[colorless, ideas, sleep, furiously], [colorless, ideas, sleep, infrequently], [colorless, ideas, appear, furiously], [colorless, ideas, appear, infrequently], [colorless, ideas, slept, furiously], [colorless, ideas, slept|...], [colorless, ideas|...], [colorless|...], [...|...]|...],
N = 320.