How would you like to use PONS.com?

Already PONS Pur or PONS Translate Pro subscriber?

PONS with ads

Go to PONS.com as usual with ad tracking and advertisements

You can find details of tracking in Information about data protection and under Privacy settings.

PONS Pur

without advertising by third parties

without ad tracking

Subscribe now

If you already have a user account for PONS.com, then you can subscribe to PONS Pur .

We process your data to deliver content or advertisements and measure the delivery of such content or advertisements to extract insights about our website. We share this information with our partners on the basis of consent and legitimate interest. You may exercise your right to consent or object to a legitimate interest, based on a specific purpose below or at a partner level in the link under each purpose. These choices will be signaled to our vendors participating in the Transparency and Consent Framework.

Cookies, device or similar online identifiers (e.g. login-based identifiers, randomly assigned identifiers, network based identifiers) together with other information (e.g. browser type and information, language, screen size, supported technologies etc.) can be stored or read on your device to recognise it each time it connects to an app or to a website, for one or several of the purposes presented here.

Advertising and content can be personalised based on your profile. Your activity on this service can be used to build or improve a profile about you for personalised advertising and content. Advertising and content performance can be measured. Reports can be generated based on your activity and those of others. Your activity on this service can help develop and improve products and services.

Legal noticeData protectionPrivacy settings
审计员
برمجة منطقية

logic programming COMPUT

logic programming
برمجة منطقية

PONS OpenDict

Would you like to add a word, a phrase or a translation?

We'd love you to send us a new entry for PONS OpenDict. The submitted suggestions are reviewed by the PONS editorial team and incorporated into the results accordingly.

Add entry
No example sentences available

No example sentences available

Try using a different entry.

Monolingual examples (not verified by PONS Editors)

However, a many-sorted logic alone is not sufficiently flexible for a type system in a logic programming language.
en.wikipedia.org
This is one of several standard approaches to the meaning of negation in logic programming, along with program completion and the well-founded semantics.
en.wikipedia.org
Logic programming was thought as something that unified various gradients of computer science (software engineering, databases, computer architecture and artificial intelligence).
en.wikipedia.org
Inductive logic programming can be used to mine rules and create new nodes.
en.wikipedia.org
In logic programming, clauses are usually written as the implication of a head from a body.
en.wikipedia.org

Browse the dictionary