Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
% Ejemplo de definición de operadores. % José A. Alonso Jiménez <https://jaalonso.github.io> % Sevilla, 13-mayo-2022 % ============================================================================= :-op(800,xfx,estudian). :-op(400,xfx,y). juan y ana estudian lógica. /** <examples> ?- Quienes estudian lógica. ?- juan y Otro estudian Algo. */