PAIProlog
forked from http://www.cl-user.net/asp/TWKe/sdataQ0rEOGCGW7roDQdmZG8X8yBX8yBXnMq=/sdataQu3F$sSHnB==