We make it easy to hire people online. Get a money-back guarantee, awesome workspace, clear terms in plain English, upfront bills with itemized PDF receipts.

All purchases (except Tips) are subject to a non-refundable administrative Handling Fee of $1.99. This pays for platform overheads including credit card processing fees, hosting, marketing, data costs and 24×7×365 support.

  • Web / Mobile / Tech
  • Design / Art / Video / Voice
  • Online Tutors
  • Writing / Translation
  • Business / Admin
  • Web Hosting Services
HostJane seller MartinVanDenBok - PHP

Martin

PHP

Logic

Propositional logic and quantification theory; metatheorems on consistency, independence, and completeness; set theory, number theory, and modal theory; recursive function theory and Gödel's incompleteness theorem. Skills for understanding principles and techniques of logic programming and how these can be applied in practice, for example in AI how Prolog relates to the predicate calculus and first-order logic, the declarative meaning of a program; the execution mechanism of Prolog in terms of unification, resolution and SLD-trees. Recursion, backtracking, simple examples; execution mechanism: unification, resolution, SLD-trees and search strategies; list processing in Prolog; cut operator and efficiency issues; worked examples; negation as finite failure; arithmetic; system predicates for I/O or input/output in computing; assert and retract; debugging programs by tracing. Got a Logic project? Hire the best Logic freelancers with the right skills and background in March 2023 to get your Logic job done quickly. Schedule a consultation with a Logic freelancer today. Read less

Read more
Board & chat What's this?

ADVERTISEMENT

Managed VPS Hosting

$3.99/mo

0 Services available
Keep exploring

ADVERTISEMENT

Managed VPS Hosting

$3.99/mo