1 definition found From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]: TABLOGA 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)
Powered by Blog Dictionary [BlogDict]
Kindly supported by
Vaffle Invitation Code
Get a Freelance Job - Outsource Your Projects | Threadless Coupon
All rights
reserved. (2008-2024)