$3.(1$ pt$)$ Create set construction formulas for the following:

$-$ obtain$\_$all$\_$classes $\backslash (($C$)\backslash ).$

$-$ obtain$\_$inheritance$\_$chain$($S$,$Chain$).$

$-$ obtain$\_$sibling$\_$pairs$([$S$,$T$],$L$).$

$4.(3$ pts$)$ Codify all above formulas into Prolog rules and demonstrate their functionality $($include the interaction with the Prolog environment$).$