interprolog application