Wie möchtest du PONS.com nutzen?

PONS Pur oder PONS Translate Pro bereits abonniert?

PONS mit Werbung

Besuche PONS.com wie gewohnt mit Werbetracking und Werbung.

Details zum Tracking findest du in der Information zum Datenschutz und in den Privatsphäre-Einstellungen.

PONS Pur

ohne Werbung von Drittanbietern

ohne Werbetracking

Jetzt abonnieren

Wenn du bereits ein kostenloses Benutzerkonto für PONS.com hast, dann kannst du PONS Pur abonnieren.

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.

ImpressumDatenschutzPrivatsphäre-Einstellungen
Module
برمجة منطقية

logic programming COMPUT

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

PONS OpenDict

Möchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?

Sende uns gerne einen neuen Eintrag für das PONS OpenDict. Die eingereichten Vorschläge werden von der PONS Redaktion geprüft und entsprechend in die Ergebnisse aufgenommen.

Eintrag hinzufügen
Keine Beispielsätze verfügbar

Keine Beispielsätze verfügbar

Versuche es mit einem anderen Eintrag.

Einsprachige Beispiele (nicht von der PONS Redaktion geprüft)

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

Durchsuche das Wörterbuch