:- module(remove_sentence, []). :- dynamic a/1 .