Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
On Constraint Programming
RISE., Swedish ICT, SICS.
1990 (Engelska)Rapport (Refereegranskat)
Abstract [en]

This short note aims to present foundations for constraint logic programming. By logic programming, we understand in this paper the PROLOG paradigm. But it will be clear that we do reduce the problem to adding a new package to PROLOG. We argue that constraint logic programming should be defined as a new paradigm for programming: the LOGIC PROGRAMMING + SYMBOLIC COMPUTATION paradigm. Our system incorporates as a very basic, all the existing systems incorporating constraints in a logic environment.

Ort, förlag, år, upplaga, sidor
Kista, Sweden: Swedish Institute of Computer Science , 1990, 1. , s. 11
Serie
SICS Research Report, ISSN 0283-3638 ; R90:01
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-21333OAI: oai:DiVA.org:ri-21333DiVA, id: diva2:1041367
Anmärkning

Original report number R90001.

Tillgänglig från: 2016-10-31 Skapad: 2016-10-31 Senast uppdaterad: 2020-12-02Bibliografiskt granskad

Open Access i DiVA

fulltext(1198 kB)57 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 1198 kBChecksumma SHA-512
106c01e803471e6461b99b1d66cf9665558aad27eb107b96a2dc75442b53087d601d49f84ab73b0b52794051366be7c559d003948ac38e7ad85b15bf06ae21f1
Typ fulltextMimetyp application/pdf

Av organisationen
SICS
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 57 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 21 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf