This application is an expert system for Limits and Derivatives, developed using Prolog and featuring a user interface in Java with Vaadin. The application consists of three main modules: one for calculating limits, another for deriving, and another for simplifying.
The Limits module allows you to calculate the limit of a function at a specific point.
prolog/limite.pl
The Derivatives module allows you to calculate the derivative of a function at a specific point.
prolog/derivador.pl
The Simplification module allows you to simplify a function.
prolog/simplificador.pl
If you have any questions or issues, please feel free to contact us.
The project is a standard Maven project. To run it from the command line,
type mvnw
(Windows), or ./mvnw
(Mac & Linux), then open
http://localhost:8080 in your browser.
You can also import the project to your IDE of choice as you would with any Maven project. Read more on how to import Vaadin projects to different IDEs (Eclipse, IntelliJ IDEA, NetBeans, and VS Code).
To create a production build, call mvnw clean package -Pproduction
(Windows),
or ./mvnw clean package -Pproduction
(Mac & Linux).
This will build a JAR file with all the dependencies and front-end resources,
ready to be deployed. The file can be found in the target
folder after the build completes.
Once the JAR file is built, you can run it using
java -jar target/expertoenlmites-1.0-SNAPSHOT.jar
MainLayout.java
insrc/main/java
contains the navigation setup (i.e., the side/top bar and the main menu). This setup uses App Layout.views
package insrc/main/java
contains the server-side Java views of your application.views
folder infrontend/
contains the client-side JavaScript views of your application.themes
folder infrontend/
contains the custom CSS styles.prolog
folder insrc/main/
contains the prolog code.
- Read the documentation at vaadin.com/docs.
- Follow the tutorial at vaadin.com/docs/latest/tutorial/overview.
- Create new projects at start.vaadin.com.
- Search UI components and their usage examples at vaadin.com/docs/latest/components.