In January 2024, FindFind.it became Trovu, please migrate.

This site will be closed on March 31, 2024.

Continue to http://www.swi-prolog.org/pldoc/search?for=append&in=all&match=summary