F-logic - F-logic Based Languages

F-logic Based Languages

  • FLORA-2 is an extension of F-logic with HiLog and transaction logic.
  • PathLP is a full logic programming language based on F-logic.
  • FLORID is a C++ — based implementation
  • Web Services Modeling Language (WSML)
  • Semantic Web Services Language (SWSL)

Read more about this topic:  F-logic

Famous quotes containing the words based and/or languages:

    I want relations which are not purely personal, based on purely personal qualities; but relations based upon some unanimous accord in truth or belief, and a harmony of purpose, rather than of personality. I am weary of personality.... Let us be easy and impersonal, not forever fingering over our own souls, and the souls of our acquaintances, but trying to create a new life, a new common life, a new complete tree of life from the roots that are within us.
    —D.H. (David Herbert)

    The trouble with foreign languages is, you have to think before your speak.
    Swedish proverb, trans. by Verne Moberg.