SWISH -- SWI-Prolog for SHaring

% https://suttacentral.net/an8.66/en/sujato

% Try entering the queries listed at the bottom into the console on the right.

% I have an earlier fork of this where I didn't nest predicates
% like a(b(2), c(5)), so it becomes a lot more verbose
% and functions as an alternate way to represent the same thing: https://swish.swi-prolog.org/p/AN8.66N.pl

% --- facts ---

see(liberation(1), form(internal)). % the first liberation sees form internally
see(liberation(2), form(external)).

focused(liberation(3), beauty).
% The sutta doesn't say that beauty is form

% liberation N: going totally beyond D1, they enter and remain in D2
'beyond remains in'(liberation(4), perception(form), dimension('infinite space')).
'beyond remains in'(liberation(5), dimension('infinite space'), dimension('infinite consciousness')).
'beyond remains in'(liberation(6), dimension('infinite consciousness'), dimension(nothingness)).
'beyond remains in'(liberation(7), dimension(nothingness), dimension('neither perception nor non perception')).
'beyond remains in'(liberation(8), dimension('neither perception nor non perception'), cessation('perception and feeling')). % since it's not a dimension one is born into
% This could be easily modified to include aware_that('there is nothing at all')
% Another way: liberation(N, beyond(dimension(D1)), remains(dimension(D2)))

% a sutta will not always disclose every last logical hole
% test your assumptions. given these facts, could this still be the case:
% 'see' is (or not) equivalent to 'perception'
% 'perception' is (or not) equivalent to 'dimension'
% seeing form externally goes beyond seeing form internally
% abiding in the formless dimensions goes (or doesn't go) beyond focus on beauty
% dimension of infinite space goes beyond both of internal and external form, not either

% --- rules ---

'beyond remains in'(X, Y) :- 'beyond remains in'(_, X, Y).

% reverse order travel ex. (other suttas)
comes_back(D1, D2) :- 'beyond remains in'(D2, D1).

% nothingness is also beyond infinite space, but doesn't leave from it
% going beyond Dim1 to X
beyond_remains_in_ext(D, X) :-
    (   'beyond remains in'(D, X)
    ;   'beyond remains in'(D, Y), beyond_remains_in_ext(Y, X)
    ).

formless(Lib) :- 'beyond remains in'(Lib, _, _).
form(Lib) :- see(Lib, _) ; focused(Lib, _).

liberation(X) :- see(X, _) ; focused(X, _) ; 'beyond remains in'(X, _, _).

% --- queries and explanations ---

% liberation(X).
% What are the eight liberations? (can have repeats)
% 
% form(liberation(X)).
% What are the liberations abiding in form?
% 
% 'beyond remains in'(liberation(5), _, X).
% Where does the fifth liberation remain in?
% 
% beyond_remains_in_ext(dimension('infinite space'), dimension(nothingness)), !.
% Does one go beyond the dimension of infinite space *eventually* towards the dimension of nothingness?
% 
% comes_back(dimension(nothingness), dimension('neither perception nor non perception')).
% Does one come back from the dimension of nothingness into the dimension of perception nor non perception?
% 
% 'beyond remains in'(_, X, dimension('infinite space')) = 'beyond remains in'(_, perception(form), Y).
% Is the liberation abiding in the dimension of infinite space the same as the liberation that goes beyond perception of form?
% 
% formless(X), focused(X, beauty).
% What formless liberation focuses on beauty, if any?