0 alternative definitions
A logic programming language primarily used in AI and computational linguistics.