tabloid

n 1: sensationalist journalism [syn: {yellow journalism}]

2: newspaper with half-size pages [syn: {rag}, {sheet}]

TABLOG

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}.

(1997-06-19)