Logical languages, sometimes called loglangs, are constructed languages usually intended as experiments in logic or philosophy. They are normally based on formal logic and meant to allow unambiguous statements. The two best-known logical languages are Loglan and its successor Lojban.

Some logical languages have been considered candidate global auxiliary languages.

	Results from FactBites:
	The World Wide Web Virtual Library: Logic Programming (1454 words) Prolog is the most generally used logic programming language. ALF (Algebraic Logic Functional language), an integrated functional logic language based on narrowing/rewriting. Logic, Programming and Prolog, 2nd edition, by Ulf Nilsson and Jan Maluszynski.
	More results at FactBites »