The Flora-2 system introduced a number of changes to the syntax of F-logic, making it more suitable for a knowledge representation and reasoning system as opposed to just a theoretical logic.
Система Флора 2 (расширение F-логики) ввела несколько изменений в синтаксис F-логики, делая его более удобным для представления знаний и системы рассуждений, отличая от нотации чисто теоретической логики.