Menú de opciones en Visual Prolog 5.2 Windows

Realizaremos un menú en Visual Prolog 5.2 en Window, tal menú nos permitirá:
 -Sumar
- Restar
- Multiplicar
- Dividir
Números enteros.
Como sabemos la lógica de programación del Prolog es muy diferente a la de un lenguaje como el de JAVA , C, C++, etc. Prolog esta orientado a programación de Inteligencia Artificial.

Bueno les dejo el código y su respectivo video con su explicación.

%Ivan Luis Jimenez (Ivanovich)

 domains
    %Declaracion de variables
    Opcion = integer
    Total = integer
    Num1, Num2 = integer
    To, Aa, Bb = integer

predicates
    nondeterm menu
    nondeterm case(integer)
    nondeterm while
    nondeterm suma(integer, integer, integer)
    nondeterm resta(integer, integer, integer)
    nondeterm multipli(integer, integer, integer)
    nondeterm divi(integer, integer, integer)

clauses
    menu:-nl,nl,write("Opciones Disponibles"),nl,nl,
        write("[1] Sumar"),nl,
        write("[2] Restar"),nl,
        write("[3] Multiplicar"),nl,
        write("[4] Dividir"),nl,
        write("[5] Salir"),nl,nl.

    case(1):- nl,write("Suma"),nl,write("Num 1>"),
        readint(Num1),
        write("Num 2>"),readint(Num2),
        suma(Num1,Num2,Total),
        write("La suma es:",Total).
    
    case(2):- nl,write("Resta"),nl,write("Num 1>"),
        readint(Num1),
        write("Num 2>"),readint(Num2),
        resta(Num1,Num2,Total),
        write("La resta es:",Total).
    
    case(3):- nl,write("Multiplicacion"),nl,write("Num 1>"),
        readint(Num1),
        write("Num 2>"),readint(Num2),
        multipli(Num1,Num2,Total),
        write("La multiplicacion es:",Total).
    
    case(4):- nl,write("Divicion"),nl,write("Num 1>"),
        readint(Num1),
        write("Num 2>"),readint(Num2),
        divi(Num1,Num2,Total),
        write("La Divicion es:",Total).
    
    case(5):- nl,write("Terminé de ejecutarme"),nl.

    suma(Aa, Bb, To):- To = Aa + Bb.
    resta(Aa, Bb, To):- To = Aa - Bb.
    multipli(Aa, Bb, To):- To = Aa * Bb.
    divi(Aa, Bb, To):- To = Aa / Bb.

    while.
    while:-while.
    

goal
    while,
    nl,menu,
    write("Teclee una opcion_> "),readint(Opcion),nl,nl,
    case(Opcion),
    Opcion=5,!. 

Link del video:

 

Cualquier duda no duden en escribir.

Iván Luis Jiménez