A programming language based on first order predicate logic with equality that combines relational programming and functional programming. It has functional notation and unification as its binding mechanism. TABLOG supports a more general subset of standard first order logic than Prolog. It employs the Manna-Waldinger ‘deductive-tableau’ proof system as an interpreter instead of resolution.


Read Also:

  • Tabloid

    noun 1. a newspaper whose pages, usually five columns wide, are about one-half the size of a standard-sized newspaper page. 2. a newspaper this size concentrating on sensational and lurid news, usually heavily illustrated. 3. a short form or version; condensation; synopsis; summary. adjective 4. compressed or condensed in or as if in a tabloid: […]

  • Tabloidese

    noun the language and style of writing characteristic of sensationalist tabloid journalism; also called tabloid-speak Usage Note chiefly British

  • Tabloidesque

    adjective using the language of type of content characteristic of sensationalist tabloid journalism Usage Note derogatory

  • Tabloid-speak

    noun See tabloidese

Disclaimer: Tablog definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.