#!/bin/bash
time yap -q -f test-pl-100000.pl -g "assert(type(a(b(c)),z)), goal"
time yap -q -f test-pl-100000.pl -g "assert(type(a([b(c)]),z)), goal"
time yap -q -f test-pl-100000.pl -g "assert(type(a(b(c),d),z)), goal"
time yap -q -f test-pl-100000.pl -g "assert(type(a(b(c),[d(e)]),z)), goal"