NLSolv

Dependencies

To build the following project you need a C++ compiler, this being either GNU G++, LLVM Clang, or MSVC CL.

In adition to this you need a proper build system like Ninja, Make or Visual Studio SLN. In adition to CMake.

My recommendations (IDE agnostic):

1. Install CMake
2. Install LLVM or G++
3. Install Ninja

Building

Once you have all of these, simply clone the project and build:

# Clone the repository
git clone https://github.com/foxinuni/nlsolv
cd nlsolv

# Make a build folder and CD into it
mkdir build
cd build

# Configure CMake with your prefered generator (Ninja in this case)
cmake -G Ninja ..

# Build with Ninja
ninja

# Execute the program
./nlsolv.exe

Alternatively: If on windows, you can execute compile.bat to build the project.

Examples

1. If I am your brother, you're mine.

hermano(Juan, Marco)
~hermano(X, Y), hermano(Y, X)	
? hermano(Marco, Juan)

2. Did Marco hate Cesar?

hombre(Marco)
pompeyano(Marco)
~pompeyano(X), romano(X)
gobernante(Cesar)
~romano(X), leal(X, Cesar), odia(X, Cesar)
~hombre(X), ~gobernante(Y), ~intenta_asesinar(X, Y), ~leal(X, Y)
intenta_asesinar(Marco, Cesar)
? odia(Marco, Cesar)