Skip to content

This website works best using cookies which are currently disabled.Cookie policy  Allow cookies
Mobile
United Kingdom (English) Change
 

TABLOG

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

TABLOG Related Courses

No related courses found

TABLOG Related Jobs

Excel Analyst - VBA, Pivot tables, VLookups, UDFs
London, £45k

Opportunity to join a highly regarded global financial company, working in their London office. The successful candidate will be involved More...

Data Analyst/Quality Analyst/Excel/SQL/Pivot...
London, £25 per hour all inclusive

Data Analyst/Quality Analyst/Excel/SQL/Pivot Tables/Enhanced CRB/Educational Data/Public Sector Role: Educational data analysis Writing More...

AMEX Business Analyst - Investment Banking -...
London, Negotiable

Business Analyst, Business Analysis, MS Office, Excel, PowerPoint, Visio, Pivot Tables, Process diagrams, Investment Banking, Stakeholder More...

Portfolio Manager - Investment Banking
London , £550 - £650 per Day

Portfolio Manager, Portfolio Review Group Manager, IT, PMO, Business Manager, Management Information, Project Management Mothodologies, More...

Linux Engineer/Linux Developer/Admin - SQL,...
Harrow, Middlesex, 55k - 60k year + benefits,p

Linux Engineer/Linux Developer/Admin - SQL, Virtualisation, KVM, Xen, Puppet, Nagios, Bacula, Cloud Skills CentOS/RHEL (min 5 years) More...