Abkürzung für "Programming in Logic" " in Frankreich entwickelte Programmiersprache mit dem Ziel der Entwicklung Künstlicher Intelligenz.
Für weitere Information