Prolog, desarrollado en 1972, pero popularizado mucho después, representa proposiciones y lógica básica, y puede derivar conclusiones de premisas conocidas.