from The American Heritage® Dictionary of the English Language, 4th Edition
- n. A programming language used for writing programs that model human logic and decision making.
from Wiktionary, Creative Commons Attribution/Share-Alike License
- proper n. A programming language developed in the 1970s for artificial intelligence and logic programming.
from the GNU version of the Collaborative International Dictionary of English
Pro(gramming in) Log(ic).(American Heritage® Dictionary of the English Language, Fourth Edition)
French: Abbreviation of Programmation en Logique. (Wiktionary)