Use Logic Programming

Catalogued

Utilise specialised ICT tools to create computer code composed of series of sentences in logical form, expressing rules and facts about some problem domain. Use programming languages which support this method such as Prolog, Answer Set Programming and Datalog.

Use Logic Programming sits under Programming Languages and Frameworks in the Information Technology domain of the Luminid skills catalogue.

Also known as

  • answer set programming
  • asp programming
  • clp
  • constraint logic programming
  • datalog
  • declarative programming
  • employ Answer Set Programming
  • employ ICT tools for logic programming
  • logic programming languages
  • logical inference programming

Make it verifiable

Verification for this skill is not live yet. Join the list. Demand decides what we build next.

One email when verification for this skill goes live. Nothing else.

Verifiable skills nearby

These skills already have live simulations. Each one links to what a verification means and how to earn it.