Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
On Constraint Programming
RISE., Swedish ICT, SICS.
1990 (engelsk)Rapport (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Kista, Sweden: Swedish Institute of Computer Science , 1990, 1. , s. 11
Serie
SICS Research Report, ISSN 0283-3638 ; R90:01
HSV kategori
Identifikatorer
URN: urn:nbn:se:ri:diva-21333OAI: oai:DiVA.org:ri-21333DiVA, id: diva2:1041367
Merknad

Original report number R90001.

Tilgjengelig fra: 2016-10-31 Laget: 2016-10-31 Sist oppdatert: 2020-12-02bibliografisk kontrollert

Open Access i DiVA

fulltekst(1198 kB)57 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1198 kBChecksum SHA-512
106c01e803471e6461b99b1d66cf9665558aad27eb107b96a2dc75442b53087d601d49f84ab73b0b52794051366be7c559d003948ac38e7ad85b15bf06ae21f1
Type fulltextMimetype application/pdf

Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 57 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 21 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
v. 2.41.0