tag: Prolog Research and Publishing Associates