?- consult('prolang.pro').
true.

?- language(pascal).
false.

?- language(X).
X = smalltalk .

?- language(L).
L = smalltalk ;
L = lisp ;
L = prolog.

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

?- essence(lisp,DT,CF).
DT = lists,
CF = 'recursive functions'.

?- essence(prolog,DT,_).
DT = relations.

?- essence(prolog,_,CF).
CF = 'logical inferencing'.

?- essence(L,objects,_).
L = smalltalk.

?- history(lisp,I,_).
I = inventor('John McCarthy').

?- history(lisp,inventor(Name),_).
Name = 'John McCarthy'.

?- history(_,inventor(N),_),write(N),nl,fail.
Alan Kay
John McCarthy
Alan Comeraur
false.

?- halt.