#!/bin/bash

swipl -s ./microtheory.pl -g 'test'