Logic programming/

fonte: https://web.archive.org/web/20210506042323/https://en.wikipedia.org/wiki/Logic_programming