FO(.) - Wikipedia
WebIn computer science, FO (.) (a.k.a. FO-dot) is a knowledge representation language (a.k.a. frame language) based on first-order logic (FO).  It extends FO with types, aggregates (counting, summing, maximising ... over a set), arithmetic, inductive definitions, partial functions, and intensional objects.
DA: 63 PA: 49 MOZ Rank: 86